designation for an administrative territorial entity of a single country
Deductions
- designation for an administrative territorial entity of a single country has quality class ⇐ (existence is a class), (designation for an administrative territorial entity of a single country has quality existence)
- designation for an administrative territorial entity of a single country is for example city of Japan ⇐ (city of Japan is a designation for an administrative territorial entity of a single country), (is a is inverse of is for example)
- entity is for example designation for an administrative territorial entity of a single country ⇐ (designation for an administrative territorial entity of a single country is a entity), (is a is inverse of is for example)
- designation for an administrative territorial entity of a single country has quality existence ⇐ (designation for an administrative territorial entity of a single country is a entity), (entity has quality existence)
- designation for an administrative territorial entity of a single country is a entity ⇐ (second-order class is subclass of entity), (designation for an administrative territorial entity of a single country is a second-order class)
- second-order class is for example designation for an administrative territorial entity of a single country ⇐ (designation for an administrative territorial entity of a single country is a second-order class), (is a is inverse of is for example)
- designation for an administrative territorial entity of a single country is for example U.S. state ⇐ (U.S. state is a designation for an administrative territorial entity of a single country), (is a is inverse of is for example)