Relation SAME-VALUES

• Defined in theory: Frame-ontology
• Source code: frame-ontology.lisp

Slots on this relation:

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.

Arity: 3

Axioms:

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

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

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