is-a-kind-of
The relation that a
subclass
has to its
superclasses
is often called "is-a-kind-of".
Course References:
Inheritance
Hierarchy