Indian Ocean Deductions Indian Ocean is part of hydrosphere ⇐ (Indian Ocean is part of World Ocean), (World Ocean is part of hydrosphere), (is part of is a transitive relation) ocean is for example Indian Ocean ⇐ (Indian Ocean is a ocean), (is a is inverse of is for example)