Deductions
- history of Washington, D.C. is part of history of North America ⇐ (history of Washington, D.C. is part of history of the United States), (history of the United States is part of history of North America), (is part of is a transitive relation)
- history of cities is for example history of Washington, D.C. ⇐ (history of Washington, D.C. is a history of cities), (is a is inverse of is for example)
- history of Washington, D.C. is a history of cities ⇐ (history of a city is subclass of history of cities), (history of Washington, D.C. is a history of a city)
- history of a city is for example history of Washington, D.C. ⇐ (history of Washington, D.C. is a history of a city), (is a is inverse of is for example)