Deductions
- zone has quality superclass ⇐ (zone has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- zone has quality class ⇐ (abstract entity is a class), (zone has quality abstract entity)
- zone has quality superclass ⇐ (zone has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- zone has quality taxonomic rank ⇐ (zone has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- zone has quality abstract entity ⇐ (property is a abstract entity), (zone has quality property)
- zone has quality entity ⇐ (property is a entity), (zone has quality property)
- concept is for example zone ⇐ (zone is a concept), (is a is inverse of is for example)
- zone is for example inner Solar System ⇐ (inner Solar System is a zone), (is a is inverse of is for example)
- zone has quality existence ⇐ (zone is subclass of part), (part has quality existence)
- zone has quality mereological relation ⇐ (zone is subclass of part), (part has quality mereological relation)
- zone has quality property ⇐ (zone is subclass of part), (part has quality property)
- zone has quality relation ⇐ (zone is subclass of part), (part has quality relation)
- inner Solar System is a zone ⇐ (outer Solar System is a zone), (outer Solar System is opposite of inner Solar System)
- zone is for example outer Solar System ⇐ (outer Solar System is a zone), (is a is inverse of is for example)