Deductions
- human population has quality class ⇐ (existence is a class), (human population has quality existence)
- human population has part role ⇐ (inhabitant is a role), (human population has part inhabitant)
- human population has quality existence ⇐ (human population is subclass of group of physical objects), (group of physical objects has quality existence)
- human population is for example world population ⇐ (world population is a human population), (is a is inverse of is for example)
- human population is subclass of group of physical objects ⇐ (human population is subclass of group of humans), (group of humans is subclass of group of physical objects), (is subclass of is a transitive relation)
- human population is subclass of group of living things ⇐ (human population is subclass of group of humans), (group of humans is subclass of group of living things), (is subclass of is a transitive relation)
- human population is subclass of group or class of physical objects ⇐ (human population is subclass of group of humans), (group of humans is subclass of group or class of physical objects), (is subclass of is a transitive relation)
- human population is subclass of group of humans ⇐ (human population is subclass of peoples), (peoples is subclass of group of humans), (is subclass of is a transitive relation)
- humanity has quality human population ⇐ (world population is subclass of human population), (humanity has quality world population)