different from

Deductions

• symmetric property is for example different from ⇐ (different from is a symmetric property), (is a is inverse of is for example)
• inverse property label item is for example different from ⇐ (different from is a inverse property label item), (is a is inverse of is for example)
• -> is for example different from ⇐ (different from is a ->), (is a is inverse of is for example)