Southern Africa

Deductions

• Southern Africa is part of Ostfeste ⇐ (Southern Africa is part of Africa), (Africa is part of Ostfeste), (is part of is a transitive relation)
• geographic region is for example Southern Africa ⇐ (Southern Africa is a geographic region), (is a is inverse of is for example)
• region of space is for example Southern Africa ⇐ (Southern Africa is a region of space), (is a is inverse of is for example)
• Southern Africa has quality geographical boundary ⇐ (Southern Africa is a geographic region), (geographic region has quality geographical boundary)
• Southern Africa has quality size ⇐ (Southern Africa is a region of space), (region of space has quality size)
• Southern Africa is a region of space ⇐ (geographic region is subclass of region of space), (Southern Africa is a geographic region)
• Southern Africa is a geographic region ⇐ (cultural region is subclass of geographic region), (Southern Africa is a cultural region)
• cultural region is for example Southern Africa ⇐ (Southern Africa is a cultural region), (is a is inverse of is for example)