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