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