Deductions
- neighborhood of Washington, D.C. is part of contiguous United States ⇐ (neighborhood of Washington, D.C. is part of Washington, D.C.), (Washington, D.C. is part of contiguous United States), (is part of is a transitive relation)
- contiguous United States has part geographic region ⇐ (Alabama is a geographic region), (contiguous United States has part Alabama)
- contiguous United States has part administrative territorial entity ⇐ (Alabama is a administrative territorial entity), (contiguous United States has part Alabama)
- contiguous United States has part administrative territorial entity of the United States ⇐ (Alabama is a administrative territorial entity of the United States), (contiguous United States has part Alabama)
- territory is for example contiguous United States ⇐ (contiguous United States is a territory), (is a is inverse of is for example)