Deductions
- homeland has quality class ⇐ (abstract entity is a class), (homeland has quality abstract entity)
- homeland has quality abstract entity ⇐ (type is a abstract entity), (homeland has quality type)
- homeland has quality existence ⇐ (homeland has quality entity), (entity has quality existence), (has quality is a transitive relation)
- homeland has quality fixed-order class ⇐ (second-order class is a fixed-order class), (homeland has quality second-order class)
- homeland has quality entity ⇐ (taxonomic rank is a entity), (homeland has quality taxonomic rank)
- homeland has quality type of object ⇐ (class is a type of object), (homeland has quality class)
- homeland has quality taxonomic rank ⇐ (superclass is a taxonomic rank), (homeland has quality superclass)
- homeland has quality second-order class ⇐ (place type is a second-order class), (homeland has quality place type)
- homeland has quality class ⇐ (type is subclass of class), (homeland has quality type)
- homeland has quality type ⇐ (place type is subclass of type), (homeland has quality place type)
- homeland has quality type of property ⇐ (homeland is subclass of physical location), (physical location has quality type of property)
- homeland has quality place type ⇐ (homeland is subclass of physical location), (physical location has quality place type)
- homeland has quality superclass ⇐ (homeland is subclass of physical location), (physical location has quality superclass)