A Concept which is an exact match for this Concept.

This property is disjoint with both and . Because it is symmetric, it is consequently also disjoint with .

defines this property as being transitive; however, honouring this makes it impossible to reason about (in reasonable time) when also preserving the above disjointness relations. This ontology ignores the transitivity and maintains the disjointness.