Deductions
- entity is for example territorial entity type ⇐ (territorial entity type is a entity), (is a is inverse of is for example)
- territorial entity type is a entity ⇐ (second-order class is subclass of entity), (territorial entity type is a second-order class)
- fixed-order class is for example territorial entity type ⇐ (territorial entity type is a fixed-order class), (is a is inverse of is for example)
- second-order class is for example territorial entity type ⇐ (territorial entity type is a second-order class), (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)
- territorial entity type is for example country ⇐ (country is a territorial entity type), (is a is inverse of is for example)
- territorial entity type is subclass of continuant type ⇐ (territorial entity type is subclass of independent continuant type), (independent continuant type is subclass of continuant type), (is subclass of is a transitive relation)
- territorial entity type is subclass of independent continuant type ⇐ (territorial entity type is subclass of immaterial entity type), (immaterial entity type is subclass of independent continuant type), (is subclass of is a transitive relation)
- territorial entity type is a fixed-order class ⇐ (second-order class is subclass of fixed-order class), (territorial entity type is a second-order class)
- rest of the world is a territorial entity type ⇐ (country is a territorial entity type), (country is opposite of rest of the world)