In der Wissensrepräsentation, objektorientierten Programmierung und Design (siehe objektorientierte Programmarchitektur) ist is-a (is_a oder is a) eine Subsumtionsbeziehung zwischen Abstraktionen (e.g. Typen, Klassen), wobei eine Klasse A eine Unterklasse einer anderen Klasse B ist (und somit B eine Oberklasse von A ist).