Deductions
- Alabama is part of continental United States ⇐ (Alabama is part of contiguous United States), (contiguous United States is part of continental United States), (is part of is a transitive relation)
- geographic region is for example Alabama ⇐ (Alabama is a geographic region), (is a is inverse of is for example)
- administrative territorial entity is for example Alabama ⇐ (Alabama is a administrative territorial entity), (is a is inverse of is for example)
- Alabama has quality geographical boundary ⇐ (Alabama is a geographic region), (geographic region has quality geographical boundary)
- Alabama has quality administrative territorial entity type ⇐ (Alabama is a administrative territorial entity), (administrative territorial entity has quality administrative territorial entity type)
- Alabama has quality class ⇐ (Alabama is a administrative territorial entity), (administrative territorial entity has quality class)
- Alabama is a geographic region ⇐ (administrative territorial entity of the United States is subclass of geographic region), (Alabama is a administrative territorial entity of the United States)
- Alabama is a administrative territorial entity ⇐ (U.S. state is subclass of administrative territorial entity), (Alabama is a U.S. state)
- U.S. state is for example Alabama ⇐ (Alabama is a U.S. state), (is a is inverse of is for example)
- administrative territorial entity of the United States is for example Alabama ⇐ (Alabama is a administrative territorial entity of the United States), (is a is inverse of is for example)
- Alabama is a administrative territorial entity of the United States ⇐ (U.S. state is subclass of administrative territorial entity of the United States), (Alabama is a U.S. state)