**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***Range:**Binary-Relation**Arity:**2**Documentation:**Binary relation R HAS-ONE value on domain instance i if there exists exactly one value v such that R(i,v) holds.

When used in the definition of a class where ?i is the instance variable, (HAS-ONE ?i R) means that the slot R must always have a value, and only one value, when applied to instance of that class.

(<=> (Has-One ?Instance ?Binary-Relation) (And (Binary-Relation ?Binary-Relation) (= (Value-Cardinality ?Instance ?Binary-Relation) 1)))

(Binary-Relation ?Binary-Relation)