England

Deductions

• administrative territorial entity of the United Kingdom is for example England ⇐ (England is a administrative territorial entity of the United Kingdom), (is a is inverse of is for example)
• England is a administrative territorial entity of the United Kingdom ⇐ (constituent country of the United Kingdom is subclass of administrative territorial entity of the United Kingdom), (England is a constituent country of the United Kingdom)
• constituent country of the United Kingdom is for example England ⇐ (England is a constituent country of the United Kingdom), (is a is inverse of is for example)