Inom kunskapsrepresentation är objektorienterad programmering och design (se objektorienterad programarkitektur), is-a (is_a eller är a) ett subsumptionsförhållande mellan abstraktioner (e.g. typer, klasser), där en klass A är en underklass av en annan klass B (och så är B en superklass av A).