Deductions
- astronomical object has characteristic interface ⇐ (physical interface subclass of interface), (astronomical object has characteristic physical interface)
- interface has quality property ⇐ (interface has quality type), (type has quality property), (has quality is a transitive relation)
- interface has quality criterion ⇐ (interface has quality type), (type has quality criterion), (has quality is a transitive relation)
- interface has quality type of property ⇐ (interface has quality type), (type has quality type of property), (has quality is a transitive relation)
- interface has quality quality ⇐ (interface has quality type), (type has quality quality), (has quality is a transitive relation)
- interface has quality class ⇐ (interface has quality type), (type has quality class), (has quality is a transitive relation)
- interface has quality superclass ⇐ (interface is subclass of object), (object has quality superclass)
- interface has quality abstract entity ⇐ (interface is subclass of object), (object has quality abstract entity)
- interface has quality entity ⇐ (interface is subclass of object), (object has quality entity)
- interface has quality existence ⇐ (interface is subclass of object), (object has quality existence)
- interface has quality type of object ⇐ (interface is subclass of object), (object has quality type of object)
- interface has quality type ⇐ (interface is subclass of object), (object has quality type)
- interface has quality taxonomic rank ⇐ (interface is subclass of object), (object has quality taxonomic rank)
- interface has quality class ⇐ (interface is subclass of object), (object has quality class)
- interface is for example Earth's surface ⇐ (Earth's surface is a interface), (is a is inverse of is for example)
- Earth's surface is a interface ⇐ (physical interface is subclass of interface), (Earth's surface is a physical interface)