Relation SAME-SLOT-VALUES

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

Slots on this relation:

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.

Arity: 3

Axioms:

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

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

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

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