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