Europe

Deductions

• Europe is part of Afro-Eurasia ⇐ (Europe is part of Eurasia), (Eurasia is part of Afro-Eurasia), (is part of is a transitive relation)
• region of space is for example Europe ⇐ (Europe is a region of space), (is a is inverse of is for example)
• geographic region is for example Europe ⇐ (Europe is a geographic region), (is a is inverse of is for example)
• Europe has quality geographical boundary ⇐ (Europe is a geographic region), (geographic region has quality geographical boundary)
• Europe is a region of space ⇐ (geographic region is subclass of region of space), (Europe is a geographic region)
• Europe is a geographic region ⇐ (part of the world is subclass of geographic region), (Europe is a part of the world)
• part of the world is for example Europe ⇐ (Europe is a part of the world), (is a is inverse of is for example)