Relation SAME-LEVEL

Arity: 2

Subrelation-Of: Quantitative-relation

Axioms:

(=> (Same-Level ?A ?B)
    (Exists (?P ?R)
            (And (Property ?P)
                 (Property ?R)
                 (Holds-True-2 ?P ?A)
                 (Holds-True-2 ?R ?B)
                 (Identity ?P ?R)
                 (Or (Exists (?C ?D)
                             (And (Numeric-Value ?R ?D)
                                  (Numeric-Value ?P ?C)
                                  (= ?C ?D)))
                     (Exists (?Q)
                             (And (Superrelations ?Q
                                                  Qualitative-Scale)
                                  (Component-Of ?P ?Q)))))))

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