city of Japan

Deductions

• 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)
• administrative territorial entity type is for example city of Japan ⇐ (city of Japan is a administrative territorial entity type), (is a is inverse of is for example)
• city of Japan is a administrative territorial entity type ⇐ (designation for an administrative territorial entity of a single country is subclass of administrative territorial entity type), (city of Japan is a designation for an administrative territorial entity of a single country)
• city of Japan is for example Aisai ⇐ (Aisai is a city of Japan), (is a is inverse of is for example)