Teadmiste esitamises, objektorienteeritud programmeerimises ja kujundamises (vt objektorienteeritud programmi arhitektuuri) on is-a (is_a või is a) abstraktsioonide vaheline alamseos (e.g. tüübid, klassid), kus üks klass A on teise klassi B alamklass (ja seega on B A -klass).