former national capital
Deductions
- former national capital has quality toponym ⇐ (oeconym is subclass of toponym), (former national capital has quality oeconym)
- former national capital has quality oeconym ⇐ (former national capital is subclass of human settlement), (human settlement has quality oeconym)
- former national capital has part community ⇐ (former national capital is subclass of human settlement), (human settlement has part community)
- 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)
- former national capital has quality toponym ⇐ (former national capital is subclass of capital city), (capital city has quality toponym)
- former national capital has quality oeconym ⇐ (former national capital is subclass of capital city), (capital city has quality oeconym)
- former national capital is subclass of capital city ⇐ (national capital is subclass of capital city), (national capital is opposite of former national capital)
- former national capital is opposite of national capital ⇐ national capital is opposite of former national capital