Deductions
- city has quality statistical data ⇐ (urban population is a statistical data), (city has quality urban population)
- former national capital is subclass of city ⇐ (former national capital is subclass of capital city), (capital city is subclass of city), (is subclass of is a transitive relation)
- classification scheme is for example city ⇐ (city is a classification scheme), (is a is inverse of is for example)
- city is for example Heidelberg ⇐ (Heidelberg is a city), (is a is inverse of is for example)
- city is for example Pretoria ⇐ (Pretoria is a city), (is a is inverse of is for example)
- city is for example Hanover ⇐ (Hanover is a city), (is a is inverse of is for example)
- classification of human settlements is for example city ⇐ (city is a classification of human settlements), (is a is inverse of is for example)
- city is for example New York City ⇐ (New York City is a city), (is a is inverse of is for example)
- city is for example Stuttgart ⇐ (Stuttgart is a city), (is a is inverse of is for example)
- city is a classification scheme ⇐ (classification of human settlements is subclass of classification scheme), (city is a classification of human settlements)
- Hanover is a city ⇐ (big city is subclass of city), (Hanover is a big city)
- Heidelberg is a city ⇐ (big city is subclass of city), (Heidelberg is a big city)
- Pretoria is a city ⇐ (big city is subclass of city), (Pretoria is a big city)
- Stuttgart is a city ⇐ (big city is subclass of city), (Stuttgart is a big city)
- New York City is a city ⇐ (global city is subclass of city), (New York City is a global city)
- city has quality demographics ⇐ (urban population is a demographics), (city has quality urban population)
- city has quality urban population ⇐ (city is subclass of city or town), (city or town has quality urban population)
- city has quality long term ⇐ (city is subclass of city or town), (city or town has quality long term)
- city is for example Johannesburg ⇐ (Johannesburg is a city), (is a is inverse of is for example)
- city is for example Palma ⇐ (Palma is a city), (is a is inverse of is for example)
- city is for example Cork ⇐ (Cork is a city), (is a is inverse of is for example)
- city is for example Lincoln ⇐ (Lincoln is a city), (is a is inverse of is for example)
- city is for example Bloemfontein ⇐ (Bloemfontein is a city), (is a is inverse of is for example)