Relation Cannot-Have

• Defined in ontology: Slot-constraint-sugar
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/slot-constraint-sugar.lisp

Instance-Of: Binary-Relation, Relation, Set

Arity: 2

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.

Equivalence Axioms for Cannot-Have:

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