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