Deductions
- outside has quality class ⇐ (abstract entity is a class), (outside has quality abstract entity)
- outside has quality abstract entity ⇐ (type is a abstract entity), (outside has quality type)
- outside has quality existence ⇐ (outside has quality entity), (entity has quality existence), (has quality is a transitive relation)
- outside has quality fixed-order class ⇐ (second-order class is a fixed-order class), (outside has quality second-order class)
- outside has quality entity ⇐ (taxonomic rank is a entity), (outside has quality taxonomic rank)
- outside has quality type of object ⇐ (outside is subclass of relative location), (relative location has quality type of object)
- outside has quality type ⇐ (outside is subclass of relative location), (relative location has quality type)
- outside has quality taxonomic rank ⇐ (outside is subclass of relative location), (relative location has quality taxonomic rank)
- outside has quality class ⇐ (outside is subclass of relative location), (relative location has quality class)
- outside has quality second-order class ⇐ (outside is subclass of relative location), (relative location has quality second-order class)
- outside has quality superclass ⇐ (outside is subclass of relative location), (relative location has quality superclass)
- outside has quality place type ⇐ (outside is subclass of relative location), (relative location has quality place type)
- outside has quality type of property ⇐ (outside is subclass of relative location), (relative location has quality type of property)
- outside has part body relative direction ⇐ (outside is subclass of relative location), (relative location has part body relative direction)
- Wikibase reason for deprecated rank is for example outside ⇐ (outside is a Wikibase reason for deprecated rank), (is a is inverse of is for example)
- outside is subclass of relative location ⇐ (inside location is subclass of relative location), (inside location is opposite of outside)