World Ocean

Deductions

• ocean is for example World Ocean ⇐ (World Ocean is a ocean), (is a is inverse of is for example)
• South Atlantic Ocean is part of World Ocean ⇐ (South Atlantic Ocean is part of Atlantic Ocean), (Atlantic Ocean is part of World Ocean), (is part of is a transitive relation)
• Arctic Ocean is part of World Ocean ⇐ (Arctic Ocean is part of Atlantic Ocean), (Atlantic Ocean is part of World Ocean), (is part of is a transitive relation)