Earth-Moon system

Deductions

• Earth-Moon system has part object ⇐ (Earth is a object), (Earth-Moon system has part Earth)
• Earth-Moon system has part spatio-temporal entity ⇐ (Earth is a spatio-temporal entity), (Earth-Moon system has part Earth)
• gravitationally bound system is for example Earth-Moon system ⇐ (Earth-Moon system is a gravitationally bound system), (is a is inverse of is for example)
• Earth-Moon system location center region ⇐ (Earth-Moon system location inner Solar System), (inner Solar System location center region), (location is a transitive relation)
• 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)
• hydrosphere is part of Earth-Moon system ⇐ (hydrosphere is part of Earth), (Earth is part of Earth-Moon system), (is part of is a transitive relation)