Deductions
- human body has part class ⇐ (entity is a class), (human body has part entity)
- human body has part class ⇐ (abstract entity is a class), (human body has part abstract entity)
- human body has quality class ⇐ (existence is a class), (human body has quality existence)
- human body is part of society ⇐ (human body is part of human), (human is part of society), (is part of is a transitive relation)
- human body has part variable-order class ⇐ (concept is a variable-order class), (human body has part concept)
- human body has part concept ⇐ (metaclass is a concept), (human body has part metaclass)
- human body has part metaclass ⇐ (abstract entity is a metaclass), (human body has part abstract entity)
- human body has part type of object ⇐ (abstract entity is a type of object), (human body has part abstract entity)
- human body has quality existence ⇐ (human body is subclass of collective entity), (collective entity has quality existence)
- human body has part abstract entity ⇐ (human head is a abstract entity), (human body has part human head)
- human body has part entity ⇐ (human head is a entity), (human body has part human head)
- taxon body type is for example human body ⇐ (human body is a taxon body type), (is a is inverse of is for example)
- human body is subclass of structure ⇐ (human body is subclass of biological structure), (biological structure is subclass of structure), (is subclass of is a transitive relation)
- human body is subclass of collective entity ⇐ (human body is subclass of biological structure), (biological structure is subclass of collective entity), (is subclass of is a transitive relation)
- human body is subclass of entity ⇐ (human body is subclass of biological structure), (biological structure is subclass of entity), (is subclass of is a transitive relation)
- human body is subclass of anatomical structure ⇐ (human body is subclass of body), (body is subclass of anatomical structure), (is subclass of is a transitive relation)
- human body is subclass of biological structure ⇐ (human body is subclass of body), (body is subclass of biological structure), (is subclass of is a transitive relation)
- human body has quality biomedical measurand type ⇐ (body surface area is a biomedical measurand type), (human body has quality body surface area)
- human body has quality surface area ⇐ (body surface area is subclass of surface area), (human body has quality body surface area)
- human body has quality ratio ⇐ (body proportions is subclass of ratio), (human body has quality body proportions)
- human body has quality body proportions ⇐ (human body is subclass of body), (body has quality body proportions)