V reprezentaci znalostí je objektově orientované programování a design (viz objektově orientovaná programová architektura), is-a (is_a or is a) je vztah subsumption mezi abstrakcemi (e.G. typy, třídy), kde jedna třída A je podtřída jiné třídy B (a tak B je nadtřída A).