Deductions
- astronomical object type is for example gravitationally bound system ⇐ (gravitationally bound system is a astronomical object type), (is a is inverse of is for example)
- astronomical object type has quality class ⇐ (quality is a class), (astronomical object type has quality quality)
- astronomical object type has quality abstract entity ⇐ (type is a abstract entity), (astronomical object type has quality type)
- astronomical object type has quality existence ⇐ (astronomical object type has quality entity), (entity has quality existence), (has quality is a transitive relation)
- astronomical object type has quality entity ⇐ (taxonomic rank is a entity), (astronomical object type has quality taxonomic rank)
- entity is for example astronomical object type ⇐ (astronomical object type is a entity), (is a is inverse of is for example)
- second-order class is for example astronomical object type ⇐ (astronomical object type is a second-order class), (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)
- astronomical object type is a entity ⇐ (second-order class is subclass of entity), (astronomical object type is a second-order class)
- astronomical object type has quality class ⇐ (type of property is a class), (astronomical object type has quality type of property)
- astronomical object type has quality type ⇐ (astronomical object type is subclass of type of object), (type of object has quality type)
- astronomical object type has quality taxonomic rank ⇐ (astronomical object type is subclass of type of object), (type of object has quality taxonomic rank)
- astronomical object type has quality type of property ⇐ (astronomical object type is subclass of type of object), (type of object has quality type of property)
- astronomical object type has quality quality ⇐ (astronomical object type is subclass of type of object), (type of object has quality quality)
- astronomical object type has quality criterion ⇐ (astronomical object type is subclass of type of object), (type of object has quality criterion)
- astronomical object type has quality property ⇐ (astronomical object type is subclass of type of object), (type of object has quality property)
- astronomical object type has quality superclass ⇐ (astronomical object type is subclass of type of object), (type of object has quality superclass)
- 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)
- astronomical object type is for example inner planet of the Solar System ⇐ (inner planet of the Solar System is a astronomical object type), (is a is inverse of is for example)