Deductions
- head has quality class ⇐ (existence is a class), (head has quality existence)
- middle ear is part of head ⇐ (middle ear is part of ear), (ear is part of head), (is part of is a transitive relation)
- outer ear is part of head ⇐ (outer ear is part of ear), (ear is part of head), (is part of is a transitive relation)
- head has part variable-order class ⇐ (entity is a variable-order class), (head has part entity)
- head has part entity ⇐ (anatomical structure type is a entity), (head has part anatomical structure type)
- head has part anatomical structure type ⇐ (brain is a anatomical structure type), (head has part brain)
- head has part fixed-order class ⇐ (second-order class is a fixed-order class), (head has part second-order class)
- head has quality existence ⇐ (head is subclass of entity), (entity has quality existence)
- head has part second-order class ⇐ (organ type is a second-order class), (head has part organ type)
- head has part organ type ⇐ (brain is a organ type), (head has part brain)
- class is for example head ⇐ (head is a class), (is a is inverse of is for example)
- class of anatomical entity is for example head ⇐ (head is a class of anatomical entity), (is a is inverse of is for example)
- abstract entity is for example head ⇐ (head is a abstract entity), (is a is inverse of is for example)
- entity is for example head ⇐ (head is a entity), (is a is inverse of is for example)
- head is subclass of entity ⇐ (head is subclass of structure), (structure is subclass of entity), (is subclass of is a transitive relation)
- head is subclass of collective entity ⇐ (head is subclass of structure), (structure is subclass of collective entity), (is subclass of is a transitive relation)
- head is subclass of biological structure ⇐ (head is subclass of cardinal body part), (cardinal body part is subclass of biological structure), (is subclass of is a transitive relation)
- head is subclass of anatomical structure ⇐ (head is subclass of cardinal body part), (cardinal body part is subclass of anatomical structure), (is subclass of is a transitive relation)
- head is subclass of structure ⇐ (head is subclass of cardinal body part), (cardinal body part is subclass of structure), (is subclass of is a transitive relation)
- head is a entity ⇐ (abstract entity is subclass of entity), (head is a abstract entity)
- head is a abstract entity ⇐ (class is subclass of abstract entity), (head is a class)
- head is a class ⇐ (class of anatomical entity is subclass of class), (head is a class of anatomical entity)