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