is type of

ItemValue
Relation nameis type of
Synonym(s)is subtype of
Definition (informal)Every instance of the domain entity is also inherently an instance of the range entity
Definition (formal)
Domain entityis in same entity hierarchy as range entity
Range entityimmediately above the entity hierarchy of domain entity
Example(s)lung cancer development is a type of cancer development; wine is a type of alcoholic beverage
Note
Reverse relation namehas type
Reverse relation synonym(s)has subtype, is supertype of
Reverse Example(s)vehicle has type bicycle
Reverse Note
Categorytypehood

back to top