Relation SAME-VALUES

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))))