Deductions
- big city has quality statistical data ⇐ (urban population is a statistical data), (big city has quality urban population)
- classification scheme is for example big city ⇐ (big city is a classification scheme), (is a is inverse of is for example)
- big city is a classification scheme ⇐ (classification of human settlements is subclass of classification scheme), (big city is a classification of human settlements)
- big city has quality demographics ⇐ (urban population is a demographics), (big city has quality urban population)
- big city has quality urban population ⇐ (big city is subclass of city), (city has quality urban population)
- big city has quality long term ⇐ (big city is subclass of city), (city has quality long term)
- big city is for example Hanover ⇐ (Hanover is a big city), (is a is inverse of is for example)
- big city is for example Heidelberg ⇐ (Heidelberg is a big city), (is a is inverse of is for example)
- big city is for example Pretoria ⇐ (Pretoria is a big city), (is a is inverse of is for example)
- classification of human settlements is for example big city ⇐ (big city is a classification of human settlements), (is a is inverse of is for example)
- big city is for example Stuttgart ⇐ (Stuttgart is a big city), (is a is inverse of is for example)