is-a

(programming) The relationship between two entities in which one entity inherits from the other.

(programming, ontologies) Such relationship expressed as an ontology component (regardless of whether the OOP paradigm per se is implemented).