sea Deductions sea is for example South Atlantic Ocean ⇐ (South Atlantic Ocean is a sea), (is a is inverse of is for example)