Incompatibility

Two predicates P and Q stand in the sense relation of incompatibility to each other iff any referent x cannot have both properties at the same time (e.g. 'long' and 'short', 'cat' and 'dog'):

For any pair of properties P,Q: for all x, P(x) → not Q(x).

The term 'imcompatible' is used as both an adjective and a noun, i.e. predicates that are incompatible are also called 'incompatibles'.