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)
- gravitationally bound system has quality superclass ⇐ (gravitationally bound system is a astronomical object type), (astronomical object type has quality superclass)
- gravitationally bound system has quality existence ⇐ (gravitationally bound system is a astronomical object type), (astronomical object type has quality existence)
- gravitationally bound system has quality entity ⇐ (gravitationally bound system is a astronomical object type), (astronomical object type has quality entity)
- gravitationally bound system has quality abstract entity ⇐ (gravitationally bound system is a astronomical object type), (astronomical object type has quality abstract entity)
- gravitationally bound system has quality type of property ⇐ (gravitationally bound system is a astronomical object type), (astronomical object type has quality type of property)
- gravitationally bound system has quality quality ⇐ (gravitationally bound system is a astronomical object type), (astronomical object type has quality quality)
- gravitationally bound system has quality criterion ⇐ (gravitationally bound system is a astronomical object type), (astronomical object type has quality criterion)
- gravitationally bound system has quality property ⇐ (gravitationally bound system is a astronomical object type), (astronomical object type has quality property)
- gravitationally bound system has quality taxonomic rank ⇐ (gravitationally bound system is a astronomical object type), (astronomical object type has quality taxonomic rank)
- gravitationally bound system has quality type ⇐ (gravitationally bound system is a astronomical object type), (astronomical object type has quality type)
- gravitationally bound system has quality class ⇐ (gravitationally bound system is a astronomical object type), (astronomical object type has quality class)
- 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)