Deductions
- Homo sapiens has part class ⇐ (abstract entity is a class), (Homo sapiens has part abstract entity)
- Homo sapiens has part class ⇐ (entity is a class), (Homo sapiens has part entity)
- Homo sapiens has part concept ⇐ (metaclass is a concept), (Homo sapiens has part metaclass)
- Homo sapiens has part metaclass ⇐ (abstract entity is a metaclass), (Homo sapiens has part abstract entity)
- Homo sapiens has part type of object ⇐ (abstract entity is a type of object), (Homo sapiens has part abstract entity)
- Homo sapiens has part variable-order class ⇐ (entity is a variable-order class), (Homo sapiens has part entity)
- Homo sapiens has part abstract entity ⇐ (sclera is a abstract entity), (Homo sapiens has part sclera)
- Homo sapiens has part entity ⇐ (sclera is a entity), (Homo sapiens has part sclera)
- group or class of organisms is for example Homo sapiens ⇐ (Homo sapiens is a group or class of organisms), (is a is inverse of is for example)
- taxon is for example Homo sapiens ⇐ (Homo sapiens is a taxon), (is a is inverse of is for example)
- Homo sapiens has quality mode of animal reproduction ⇐ (Homo sapiens has quality animal reproduction), (animal reproduction has quality mode of animal reproduction), (has quality is a transitive relation)
- Homo sapiens is a group or class of organisms ⇐ (taxon is subclass of group or class of organisms), (Homo sapiens is a taxon)
- Homo sapiens has quality animal reproduction ⇐ (viviparity is subclass of animal reproduction), (Homo sapiens has quality viviparity)