Africa

Deductions

• Namibia is part of Africa ⇐ (Namibia is part of Southern Africa), (Southern Africa is part of Africa), (is part of is a transitive relation)
• South Africa is part of Africa ⇐ (South Africa is part of Southern Africa), (Southern Africa is part of Africa), (is part of is a transitive relation)
• landmass is for example Africa ⇐ (Africa is a landmass), (is a is inverse of is for example)
• Africa is a landmass ⇐ (continent is subclass of landmass), (Africa is a continent)
• continent is for example Africa ⇐ (Africa is a continent), (is a is inverse of is for example)