contains location Deductions inverse property label item is for example contains location ⇐ (contains location is a inverse property label item), (is a is inverse of is for example)