Relation CANNOT-HAVE

• Defined in theory: Slot-constraint-sugar
• Source code: slot-constraint-sugar.lisp

Slots on this relation:

Documentation:

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.

Arity: 2

Axioms:

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