Deductions
- administrative territorial entity type is for example U.S. state ⇐ (U.S. state is a administrative territorial entity type), (is a is inverse of is for example)
- U.S. state is a administrative territorial entity type ⇐ (designation for an administrative territorial entity of a single country is subclass of administrative territorial entity type), (U.S. state is a designation for an administrative territorial entity of a single country)
- U.S. state has quality class ⇐ (U.S. state is subclass of administrative territorial entity), (administrative territorial entity has quality class)
- U.S. state has quality administrative territorial entity type ⇐ (U.S. state is subclass of administrative territorial entity), (administrative territorial entity has quality administrative territorial entity type)
- 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)
- U.S. state is for example Alabama ⇐ (Alabama is a U.S. state), (is a is inverse of is for example)
- U.S. state is subclass of administrative territorial entity ⇐ (U.S. state is subclass of administrative territorial entity of a single country), (administrative territorial entity of a single country is subclass of administrative territorial entity), (is subclass of is a transitive relation)
- U.S. state is subclass of administrative territorial entity of a single country ⇐ (U.S. state is subclass of administrative territorial entity of the United States), (administrative territorial entity of the United States is subclass of administrative territorial entity of a single country), (is subclass of is a transitive relation)