Washington, D.C.

Deductions

• Washington, D.C. is part of continental United States ⇐ (Washington, D.C. is part of contiguous United States), (contiguous United States is part of continental United States), (is part of is a transitive relation)
• city in the United States is for example Washington, D.C. ⇐ (Washington, D.C. is a city in the United States), (is a is inverse of is for example)