Deductions
- biosphere is part of Earth-Moon system ⇐ (biosphere is part of Earth), (Earth is part of Earth-Moon system), (is part of is a transitive relation)
- biosphere is part of inner Solar System ⇐ (biosphere is part of Earth), (Earth is part of inner Solar System), (is part of is a transitive relation)
- social movement is part of biosphere ⇐ (social movement is part of society), (society is part of biosphere), (is part of is a transitive relation)
- nation is part of biosphere ⇐ (nation is part of humanity), (humanity is part of biosphere), (is part of is a transitive relation)
- society is part of biosphere ⇐ (society is part of humanity), (humanity is part of biosphere), (is part of is a transitive relation)
- shell of an astronomical object is for example biosphere ⇐ (biosphere is a shell of an astronomical object), (is a is inverse of is for example)
- biosphere is a shell of an astronomical object ⇐ (geographic envelope is subclass of shell of an astronomical object), (biosphere is a geographic envelope)
- geographic envelope is for example biosphere ⇐ (biosphere is a geographic envelope), (is a is inverse of is for example)