Deductions
- outer planet is part of inner and outer Solar System ⇐ (outer planet is part of outer Solar System), (outer Solar System is part of inner and outer Solar System), (is part of is a transitive relation)
- outer planet has quality class ⇐ (quality is a class), (outer planet has quality quality)
- outer planet has quality abstract entity ⇐ (type is a abstract entity), (outer planet has quality type)
- outer planet has quality existence ⇐ (outer planet has quality entity), (entity has quality existence), (has quality is a transitive relation)
- outer planet has quality entity ⇐ (taxonomic rank is a entity), (outer planet has quality taxonomic rank)
- type of object is for example outer planet ⇐ (outer planet is a type of object), (is a is inverse of is for example)
- astronomical object type is for example outer planet ⇐ (outer planet is a astronomical object type), (is a is inverse of is for example)
- outer planet has quality type of property ⇐ (outer planet is a astronomical object type), (astronomical object type has quality type of property)
- outer planet has quality quality ⇐ (outer planet is a astronomical object type), (astronomical object type has quality quality)
- outer planet has quality criterion ⇐ (outer planet is a astronomical object type), (astronomical object type has quality criterion)
- outer planet has quality property ⇐ (outer planet is a astronomical object type), (astronomical object type has quality property)
- outer planet has quality taxonomic rank ⇐ (outer planet is a astronomical object type), (astronomical object type has quality taxonomic rank)
- outer planet has quality type ⇐ (outer planet is a astronomical object type), (astronomical object type has quality type)
- outer planet has quality class ⇐ (outer planet is a astronomical object type), (astronomical object type has quality class)
- outer planet has quality superclass ⇐ (outer planet is a astronomical object type), (astronomical object type has quality superclass)
- outer planet is a type of object ⇐ (astronomical object type is subclass of type of object), (outer planet is a astronomical object type)
- outer planet is a astronomical object type ⇐ (inner planet of the Solar System is a astronomical object type), (inner planet of the Solar System is opposite of outer planet)
- outer planet is opposite of inner planet of the Solar System ⇐ inner planet of the Solar System is opposite of outer planet