Deductions
- Earth location center region ⇐ (Earth location inner Solar System), (inner Solar System location center region), (location is a transitive relation)
- Americas is part of Earth ⇐ (Americas is part of Earth's surface), (Earth's surface is part of Earth), (is part of is a transitive relation)
- geographic location is part of Earth ⇐ (geographic location is part of Earth's surface), (Earth's surface is part of Earth), (is part of is a transitive relation)
- Earth is part of inner Solar System ⇐ (Earth is part of Earth-Moon system), (Earth-Moon system is part of inner Solar System), (is part of is a transitive relation)
- South Atlantic Ocean is part of Earth ⇐ (South Atlantic Ocean is part of Atlantic Ocean), (Atlantic Ocean is part of Earth), (is part of is a transitive relation)
- social movement is part of Earth ⇐ (social movement is part of society), (society is part of Earth), (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)
- Atlantic Ocean is part of Earth ⇐ (Atlantic Ocean is part of hydrosphere), (hydrosphere is part of Earth), (is part of is a transitive relation)
- society is part of Earth ⇐ (society is part of humanity), (humanity is part of Earth), (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)
- object is for example Earth ⇐ (Earth is a object), (is a is inverse of is for example)
- spatio-temporal entity is for example Earth ⇐ (Earth is a spatio-temporal entity), (is a is inverse of is for example)
- Earth is a spatio-temporal entity ⇐ (independent continuant is subclass of spatio-temporal entity), (Earth is a independent continuant)
- Earth is a object ⇐ (independent continuant is subclass of object), (Earth is a independent continuant)
- continuant is for example Earth ⇐ (Earth is a continuant), (is a is inverse of is for example)
- Earth is a continuant ⇐ (space is subclass of continuant), (Earth is a space)
- space is for example Earth ⇐ (Earth is a space), (is a is inverse of is for example)
- inner planet of the Solar System is for example Earth ⇐ (Earth is a inner planet of the Solar System), (is a is inverse of is for example)
- independent continuant is for example Earth ⇐ (Earth is a independent continuant), (is a is inverse of is for example)
- Earth is a independent continuant ⇐ (space is subclass of independent continuant), (Earth is a space)
- Earth is a space ⇐ (sky is a space), (sky is opposite of Earth)