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