Deductions
- inner Solar System has quality superclass ⇐ (inner Solar System has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- inner Solar System has quality class ⇐ (abstract entity is a class), (inner Solar System has quality abstract entity)
- 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)
- 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)
- measure is for example inner Solar System ⇐ (inner Solar System is a measure), (is a is inverse of is for example)
- content is for example inner Solar System ⇐ (inner Solar System is a content), (is a is inverse of is for example)
- inner Solar System has quality superclass ⇐ (inner Solar System has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- inner Solar System has quality taxonomic rank ⇐ (inner Solar System has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- inner Solar System is a content ⇐ (part is subclass of content), (inner Solar System is a part)
- inner Solar System is a measure ⇐ (part is subclass of measure), (inner Solar System is a part)
- inner Solar System has quality abstract entity ⇐ (property is a abstract entity), (inner Solar System has quality property)
- inner Solar System has quality entity ⇐ (property is a entity), (inner Solar System has quality property)
- zone is for example inner Solar System ⇐ (inner Solar System is a zone), (is a is inverse of is for example)
- part is for example inner Solar System ⇐ (inner Solar System is a part), (is a is inverse of is for example)
- inner Solar System has quality existence ⇐ (inner Solar System is a part), (part has quality existence)
- inner Solar System has quality relation ⇐ (inner Solar System is a part), (part has quality relation)
- inner Solar System has quality property ⇐ (inner Solar System is a part), (part has quality property)
- inner Solar System has quality mereological relation ⇐ (inner Solar System is a part), (part has quality mereological relation)
- inner Solar System has quality MediaWiki page ID ⇐ (inner Solar System is a part), (part has quality MediaWiki page ID)
- inner Solar System is a part ⇐ (zone is subclass of part), (inner Solar System is a zone)
- inner Solar System is a zone ⇐ (outer Solar System is a zone), (outer Solar System is opposite of inner Solar System)
- interior is for example inner Solar System ⇐ (inner Solar System is a interior), (is a is inverse of is for example)
- outer Solar System is opposite of inner Solar System ⇐ inner Solar System is opposite of outer Solar System
- humanity location inner Solar System ⇐ (humanity location Earth), (Earth location inner Solar System), (location is a transitive relation)
- demographics of the world location inner Solar System ⇐ (demographics of the world location Earth), (Earth location inner Solar System), (location is a transitive relation)