Deductions
- object is for example Earth's surface ⇐ (Earth's surface is a object), (is a is inverse of is for example)
- Earth's surface is a object ⇐ (interface is subclass of object), (Earth's surface is a interface)
- Earth's surface has quality criterion ⇐ (Earth's surface has quality type of object), (type of object has quality criterion), (has quality is a transitive relation)
- Earth's surface has quality property ⇐ (Earth's surface has quality type of object), (type of object has quality property), (has quality is a transitive relation)
- Earth's surface has quality quality ⇐ (Earth's surface has quality type of object), (type of object has quality quality), (has quality is a transitive relation)
- interface is for example Earth's surface ⇐ (Earth's surface is a interface), (is a is inverse of is for example)
- Earth's surface is a interface ⇐ (physical interface is subclass of interface), (Earth's surface is a physical interface)
- Earth's surface has quality type of object ⇐ (Earth's surface has quality physical location), (physical location has quality type of object), (has quality is a transitive relation)
- Earth's surface has quality existence ⇐ (Earth's surface has quality physical location), (physical location has quality existence), (has quality is a transitive relation)
- Earth's surface has quality entity ⇐ (Earth's surface has quality physical location), (physical location has quality entity), (has quality is a transitive relation)
- Earth's surface has quality second-order class ⇐ (Earth's surface has quality physical location), (physical location has quality second-order class), (has quality is a transitive relation)
- Earth's surface has quality type of property ⇐ (Earth's surface has quality physical location), (physical location has quality type of property), (has quality is a transitive relation)
- Earth's surface has quality superclass ⇐ (Earth's surface has quality physical location), (physical location has quality superclass), (has quality is a transitive relation)
- Earth's surface has quality taxonomic rank ⇐ (Earth's surface has quality physical location), (physical location has quality taxonomic rank), (has quality is a transitive relation)
- Earth's surface has quality type ⇐ (Earth's surface has quality physical location), (physical location has quality type), (has quality is a transitive relation)
- Earth's surface has quality place type ⇐ (Earth's surface has quality physical location), (physical location has quality place type), (has quality is a transitive relation)
- Earth's surface has quality abstract entity ⇐ (Earth's surface has quality physical location), (physical location has quality abstract entity), (has quality is a transitive relation)
- Earth's surface has quality class ⇐ (Earth's surface has quality physical location), (physical location has quality class), (has quality is a transitive relation)
- Earth's surface has quality fixed-order class ⇐ (Earth's surface has quality physical location), (physical location has quality fixed-order class), (has quality is a transitive relation)
- Earth's surface has quality physical location ⇐ (Earth's surface is a physical surface), (physical surface has quality physical location)
- 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)
- Earth's surface has quality area ⇐ (Earth's surface is a physical surface), (physical surface has quality area)
- phase boundary is for example Earth's surface ⇐ (Earth's surface is a phase boundary), (is a is inverse of is for example)
- 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 phase boundary ⇐ (physical surface is subclass of phase boundary), (Earth's surface is a physical surface)
- 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)
- Earth's surface has quality area of plane shape ⇐ (Earth's surface is a planetary surface), (planetary surface has quality area of plane shape)
- 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)
- planetary surface is for example Earth's surface ⇐ (Earth's surface is a planetary surface), (is a is inverse of is for example)
- Confederate States of America is part of Earth's surface ⇐ (Confederate States of America is part of North America), (North America is part of Earth's surface), (is part of is a transitive relation)
- North America is part of Earth's surface ⇐ (North America is part of Americas), (Americas is part of Earth's surface), (is part of is a transitive relation)
- Canada is part of Earth's surface ⇐ (Canada is part of Americas), (Americas is part of Earth's surface), (is part of is a transitive relation)