Zināšanu attēlojumā, objektorientētā programmēšanā un dizainā (skat. Uz objektu orientētu programmu arhitektūru) is-a (is_a vai is a) ir apakšsummu saistība starp abstrakcijām (e.g. veidi, klases), kur viena A klase ir citas B klases apakšklase (un tādējādi B ir A virsklase).