Relation Cannot-Have

Instance-Of: Binary-Relation, Relation, Set
Arity: 2
A domain instance i CANNOT-HAVE a value for a slot R if it is inconsistent for R(i,v) to hold for any value v.

CANNOT-HAVE is one way to restrict the domain of a relation with respect to a class.

Equivalence Axioms for Cannot-Have:

(<=> (Cannot-Have ?Instance ?Binary-Relation)
     (Not (Instance-Of ?Instance (Exact-Domain ?Binary-Relation))))