Deductions
- human head is part of human ⇐ (human head is part of human body), (human body is part of human), (is part of is a transitive relation)
- human head is part of society ⇐ (human head is part of human body), (human body is part of society), (is part of is a transitive relation)
- class is for example human head ⇐ (human head is a class), (is a is inverse of is for example)
- class of anatomical entity is for example human head ⇐ (human head is a class of anatomical entity), (is a is inverse of is for example)
- abstract entity is for example human head ⇐ (human head is a abstract entity), (is a is inverse of is for example)
- entity is for example human head ⇐ (human head is a entity), (is a is inverse of is for example)
- human head is subclass of structure ⇐ (human head is subclass of head), (head is subclass of structure), (is subclass of is a transitive relation)
- human head is subclass of biological structure ⇐ (human head is subclass of head), (head is subclass of biological structure), (is subclass of is a transitive relation)
- human head is subclass of cardinal body part ⇐ (human head is subclass of head), (head is subclass of cardinal body part), (is subclass of is a transitive relation)
- human head is subclass of anatomical structure ⇐ (human head is subclass of head), (head is subclass of anatomical structure), (is subclass of is a transitive relation)
- human head is a entity ⇐ (abstract entity is subclass of entity), (human head is a abstract entity)
- human head is a abstract entity ⇐ (class is subclass of abstract entity), (human head is a class)
- human head is a class ⇐ (class of anatomical entity is subclass of class), (human head is a class of anatomical entity)