Symmetric: if P (x, y) then P (y, x) inverseOf: if P1 (x, y) then P2 (y, x) Transitive: if P (x, y) and P (y, z) then P (x, z) Functional: if P (x, y) and P (x, z) then y= z InverseFunctional: if P (x, y) and P (z, y) then x= z allValuesFrom: P (x, y) has y= allValuesFrom (C) someValuesFrom: P (x, y) has y= someValuesFrom (C) hasValue: P (x, y) and y= hasValue (I) cardinality: cardinality (P)= n minCardinality: minCardinality (P)= n maxCardinality: maxCardinality (P)= n equivalentProperty: P1= P2 x y