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