immaterial entity type

Deductions

• entity is for example immaterial entity type ⇐ (immaterial entity type is a entity), (is a is inverse of is for example)
• immaterial entity type is a entity ⇐ (second-order class is subclass of entity), (immaterial entity type is a second-order class)
• fixed-order class is for example immaterial entity type ⇐ (immaterial entity type is a fixed-order class), (is a is inverse of is for example)
• 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)
• immaterial entity type is for example country ⇐ (country is a immaterial entity type), (is a is inverse of is for example)
• second-order class is for example immaterial entity type ⇐ (immaterial entity type is a second-order class), (is a is inverse of is for example)
• immaterial entity type is a fixed-order class ⇐ (second-order class is subclass of fixed-order class), (immaterial entity type is a second-order class)
• country is a immaterial entity type ⇐ (territorial entity type is subclass of immaterial entity type), (country is a territorial entity type)
• 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)