W reprezentacji wiedzy, programowaniu obiektowym i projektowaniu (patrz architektura programu obiektowego), is-a (is_a lub is a) jest relacją subsumpcji między abstrakcjami (e.g. typy, klasy), gdzie jedna klasa A jest podklasą innej klasy B (a więc B jest nadklasą A).