Arctic Ocean Deductions 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) ocean is for example Arctic Ocean ⇐ (Arctic Ocean is a ocean), (is a is inverse of is for example)