facet of category Deductions inverse property label item is for example facet of category ⇐ (facet of category is a inverse property label item), (is a is inverse of is for example)