Deductions
- exterior has quality superclass ⇐ (exterior has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- exterior has quality class ⇐ (abstract entity is a class), (exterior has quality abstract entity)
- exterior has quality superclass ⇐ (exterior has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- exterior has quality taxonomic rank ⇐ (exterior has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- exterior has quality abstract entity ⇐ (property is a abstract entity), (exterior has quality property)
- exterior has quality entity ⇐ (property is a entity), (exterior has quality property)
- exterior has quality existence ⇐ (exterior is subclass of part), (part has quality existence)
- exterior has quality relation ⇐ (exterior is subclass of part), (part has quality relation)
- exterior has quality property ⇐ (exterior is subclass of part), (part has quality property)
- exterior has quality mereological relation ⇐ (exterior is subclass of part), (part has quality mereological relation)
- exterior has quality MediaWiki page ID ⇐ (exterior is subclass of part), (part has quality MediaWiki page ID)
- exterior is opposite of interior ⇐ interior is opposite of exterior