Deductions
- human settlement is for example Vienna ⇐ (Vienna is a human settlement), (is a is inverse of is for example)
- Vienna is a human settlement ⇐ (national capital is subclass of human settlement), (Vienna is a national capital)
- national capital is subclass of human settlement ⇐ (former national capital is subclass of human settlement), (former national capital is opposite of national capital)
- capital city is subclass of human settlement ⇐ (former capital is subclass of human settlement), (former capital is opposite of capital city)
- human settlement has quality toponym ⇐ (oeconym is subclass of toponym), (human settlement has quality oeconym)
- human settlement is for example Ballintemple ⇐ (Ballintemple is a human settlement), (is a is inverse of is for example)
- first-order class is for example human settlement ⇐ (human settlement is a first-order class), (is a is inverse of is for example)
- human settlement is subclass of geographic entity ⇐ (human settlement is subclass of geographical feature), (geographical feature is subclass of geographic entity), (is subclass of is a transitive relation)
- town is subclass of human settlement ⇐ (town is subclass of urban settlement), (urban settlement is subclass of human settlement), (is subclass of is a transitive relation)
- village is subclass of human settlement ⇐ (village is subclass of rural settlement), (rural settlement is subclass of human settlement), (is subclass of is a transitive relation)