Relation Same-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:

Two binary relations R1 and R2 have the SAME-VALUES on instance i if whenever R1(i,v) holds for some value v, then R2(i,v) holds for the same domain instance i and value v.

Instance-Of: Relation, Set

Implication Axioms for Same-Values:

(=> (Same-Values ?Instance ?Slot1 ?Slot2)
    (<=> (Holds ?Slot1 ?Instance ?Value)
         (Holds ?Slot2 ?Instance ?Value)))

Equivalence Axioms for Same-Values:

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

Axioms for Same-Values:

(Binary-Relation ?Slot2)

(Binary-Relation ?Slot1)

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

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