In kennisrepresentatie, objectgeoriënteerd programmeren en ontwerpen (zie objectgeoriënteerde programmaarchitectuur), is is-a (is_a of is a) een subsumptierelatie tussen abstracties (e.G. typen, klassen), waarbij een klasse A een subklasse is van een andere klasse B (en dus B een superklasse is van A).