Relation Single-Valued-Slot

• Defined in ontology: Frame-ontology
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/frame-ontology.lisp

Arity: 2

Documentation:

SINGLE-VALUED-SLOT is a constraint on the second argument of a binary relation that is conditional on the first argument to the relation being an instance of a given class. It is like unary-function, except it is local to the values of the relation on instances of the given subset of the domain.

Instance-Of: Binary-Relation, Relation, Set

Equivalence Axioms for Single-Valued-Slot:

(<=> (Single-Valued-Slot ?Class ?Binary-Relation)
     (= (Slot-Cardinality ?Class ?Binary-Relation) 1))

(<=> (Single-Valued-Slot ?Class ?Binary-Relation)
     (And (Class ?Class)
          (Binary-Relation ?Binary-Relation)
          (=> (Instance-Of ?Instance ?Class)
              (=> (Holds ?Binary-Relation ?Instance ?Slot-Value1)
                  (Holds ?Binary-Relation ?Instance ?Slot-Value2)
                  (= ?Slot-Value1 ?Slot-Value2)))))

Equivalence Axioms mentioning Single-Valued-Slot:

(<=> (Has-Single-Slot-Value-Of-Type@Ol-User%Slot-Constraint-Sugar 
         ?Class
         ?Binary-Relation
         ?Type)
     (And (Class ?Class)
          (Binary-Relation ?Binary-Relation)
          (Class ?Type)
          (Single-Valued-Slot ?Class ?Binary-Relation)
          (Has-Slot-Value-Of-Type@Ol-User%Slot-Constraint-Sugar 
              ?Class
              ?Binary-Relation
              ?Type)))

Axioms mentioning Single-Valued-Slot:

(Single-Valued-Slot ?Class ?Binary-Relation)