Vienna

Deductions

• Vienna has quality toponym ⇐ (Vienna is a human settlement), (human settlement has quality toponym)
• Vienna has quality oeconym ⇐ (Vienna is a human settlement), (human settlement has quality oeconym)
• 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 for example Vienna ⇐ (Vienna is a national capital), (is a is inverse of is for example)
• Vienna is a national capital ⇐ (federal capital is subclass of national capital), (Vienna is a federal capital)
• federal capital is for example Vienna ⇐ (Vienna is a federal capital), (is a is inverse of is for example)