Deductions
- rest of the world has quality class ⇐ (value is a class), (rest of the world has quality value)
- rest of the world has quality philosophical concept ⇐ (rest of the world has quality desirability), (desirability has quality philosophical concept), (has quality is a transitive relation)
- rest of the world has quality subjectivity ⇐ (rest of the world has quality desirability), (desirability has quality subjectivity), (has quality is a transitive relation)
- rest of the world has quality entity ⇐ (rest of the world has quality value), (value has quality entity), (has quality is a transitive relation)
- rest of the world has quality type ⇐ (rest of the world has quality value), (value has quality type), (has quality is a transitive relation)
- rest of the world has quality taxonomic rank ⇐ (rest of the world has quality value), (value has quality taxonomic rank), (has quality is a transitive relation)
- rest of the world has quality type of property ⇐ (rest of the world has quality value), (value has quality type of property), (has quality is a transitive relation)
- rest of the world has quality superclass ⇐ (rest of the world has quality value), (value has quality superclass), (has quality is a transitive relation)
- rest of the world has quality class ⇐ (rest of the world has quality value), (value has quality class), (has quality is a transitive relation)
- rest of the world has quality abstract entity ⇐ (rest of the world has quality value), (value has quality abstract entity), (has quality is a transitive relation)
- rest of the world has quality existence ⇐ (rest of the world has quality value), (value has quality existence), (has quality is a transitive relation)
- rest of the world has quality value ⇐ (rest of the world is subclass of territory), (territory has quality value)
- rest of the world has quality desirability ⇐ (rest of the world is subclass of territory), (territory has quality desirability)
- rest of the world has quality subjective quality ⇐ (rest of the world is subclass of territory), (territory has quality subjective quality)
- rest of the world is subclass of territory ⇐ (country is subclass of territory), (country is opposite of rest of the world)
- immaterial entity type is for example rest of the world ⇐ (rest of the world is a immaterial entity type), (is a is inverse of is for example)
- role is for example rest of the world ⇐ (rest of the world is a role), (is a is inverse of is for example)
- territorial entity type is for example rest of the world ⇐ (rest of the world is a territorial entity type), (is a is inverse of is for example)
- rest of the world is a immaterial entity type ⇐ (territorial entity type is subclass of immaterial entity type), (rest of the world is a territorial entity type)
- rest of the world is a territorial entity type ⇐ (country is a territorial entity type), (country is opposite of rest of the world)