Deductions
- nation is part of biosphere ⇐ (nation is part of humanity), (humanity is part of biosphere), (is part of is a transitive relation)
- nation is part of Earth ⇐ (nation is part of humanity), (humanity is part of Earth), (is part of is a transitive relation)
- construct is for example nation ⇐ (nation is a construct), (is a is inverse of is for example)
- nation is subclass of group of physical objects ⇐ (nation is subclass of group of humans), (group of humans is subclass of group of physical objects), (is subclass of is a transitive relation)
- nation is subclass of group of living things ⇐ (nation is subclass of group of humans), (group of humans is subclass of group of living things), (is subclass of is a transitive relation)
- nation is subclass of group or class of physical objects ⇐ (nation 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)