District of Columbia
Deductions
- District of Columbia is part of continental United States ⇐ (District of Columbia is part of contiguous United States), (contiguous United States is part of continental United States), (is part of is a transitive relation)
- federal district is for example District of Columbia ⇐ (District of Columbia is a federal district), (is a is inverse of is for example)