Relation Same-Slot-Values

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

Arity: 3

Documentation:

Let class C be in the domain of two binary relations R_1 and R_2. The relation (same-values C R_1 R_2) means that the values of the two relations are the same when applied to instances of the class.

Instance-Of: Relation, Set

Implication Axioms for Same-Slot-Values:

(=> (Same-Slot-Values ?Class ?Slot1 ?Slot2)
    (Forall (?Instance ?Value)
            (=> (Instance-Of ?Instance ?Class)
                (<=> (Holds ?Slot1 ?Instance ?Value)
                     (Holds ?Slot2 ?Instance ?Value)))))

Equivalence Axioms for Same-Slot-Values:

(<=> (Same-Slot-Values ?Class ?Slot1 ?Slot2)
     (And (Class ?Class)
          (Binary-Relation ?Slot1)
          (Binary-Relation ?Slot2)
          (Forall (?Instance ?Value)
                  (=> (Instance-Of ?Instance ?Class)
                      (<=> (Holds ?Slot1 ?Instance ?Value)
                           (Holds ?Slot2 ?Instance ?Value))))))

Axioms for Same-Slot-Values:

(Binary-Relation ?Slot2)

(Binary-Relation ?Slot1)

(Nth-Domain Same-Slot-Values 3 Binary-Relation)

(Nth-Domain Same-Slot-Values 2 Binary-Relation)

(Nth-Domain Same-Slot-Values 1 Class)