Deductions
- humanity location center region ⇐ (humanity location inner Solar System), (inner Solar System location center region), (location is a transitive relation)
- social movement is part of humanity ⇐ (social movement is part of society), (society is part of humanity), (is part of is a transitive relation)
- human is part of humanity ⇐ (human is part of society), (society is part of humanity), (is part of is a transitive relation)
- humanity is part of Earth ⇐ (humanity is part of biosphere), (biosphere is part of Earth), (is part of is a transitive relation)
- humanity has quality group of physical objects ⇐ (world population is a group of physical objects), (humanity has quality world population)
- humanity has part group or class of organisms ⇐ (human is a group or class of organisms), (humanity has part human)
- humanity has quality group or class of physical objects ⇐ (world population is a group or class of physical objects), (humanity has quality world population)
- humanity has part variable-order class ⇐ (class is a variable-order class), (humanity has part class)
- humanity has part concept ⇐ (metaclass is a concept), (humanity has part metaclass)
- humanity has part metaclass ⇐ (abstract entity is a metaclass), (humanity has part abstract entity)
- humanity has part entity ⇐ (class is a entity), (humanity has part class)
- humanity has part class ⇐ (organisms known by a particular common name is a class), (humanity has part organisms known by a particular common name)
- humanity has part class ⇐ (human is a class), (humanity has part human)
- humanity has part type of object ⇐ (abstract entity is a type of object), (humanity has part abstract entity)
- humanity has part abstract entity ⇐ (human is a abstract entity), (humanity has part human)
- group or class of physical objects is for example humanity ⇐ (humanity is a group or class of physical objects), (is a is inverse of is for example)
- humanity is a group or class of physical objects ⇐ (group of humans is subclass of group or class of physical objects), (humanity is a group of humans)
- humanity has part organisms known by a particular common name ⇐ (human is a organisms known by a particular common name), (humanity has part human)
- group of living things is for example humanity ⇐ (humanity is a group of living things), (is a is inverse of is for example)
- group of humans is for example humanity ⇐ (humanity is a group of humans), (is a is inverse of is for example)
- humanity location inner Solar System ⇐ (humanity location Earth), (Earth location inner Solar System), (location is a transitive relation)
- humanity is a group of living things ⇐ (group of humans is subclass of group of living things), (humanity is a group of humans)
- humanity has quality group of humans ⇐ (peoples is subclass of group of humans), (humanity has quality peoples)
- humanity has quality peoples ⇐ (human population is subclass of peoples), (humanity has quality human population)
- humanity has quality human population ⇐ (world population is subclass of human population), (humanity has quality world population)