V reprezentácii znalostí je objektovo orientované programovanie a návrh (pozri objektovo orientovanú architektúru programu), is-a (is_a or is a) je vzťah subsumption medzi abstrakciami (e.g. typy, triedy), pričom jedna trieda A je podtriedou inej triedy B (a teda B je nadtriedou A).