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