Relation EQUAL-BUT-LOCALIZATION

Arity: 2

Subrelation-Of: Equality-relation

Axioms:

(=> (Equal-But-Localization ?A ?B)
    (Or (Not (Exists (?C ?D)
                     (And (Region-Of ?B ?D)
                          (Region-Of ?A ?C)
                          (Identity ?C ?D))))
        (Not (Exists (?E ?F)
                     (And (Abscissa-Value ?B ?F)
                          (Abscissa-Value ?A ?E)
                          (= ?E ?F))))
        (Not (Exists (?G ?H)
                     (And (Ordinate-Value ?B ?H)
                          (Ordinate-Value ?A ?G)
                          (= ?G ?H))))))

• Defined in theory: Equality
• Source code: Equality.lisp