Function HIGHER-THAN

Arity: 2

Subrelation-Of: Quantitative-relation

Axioms:

(=> (Higher-Than ?A ?B)
    (Exists (?P ?R ?S ?T)
            (And (Relation ?P)
                 (Relation ?R)
                 (Entity ?S)
                 (Entity ?T)
                 (Holds-True-3 ?P ?A ?S)
                 (Holds-True-3 ?R ?B ?T)
                 (Exists (?Z)
                         (And (Superrelations ?P ?Z)
                              (Superrelations ?R ?Z)))
                 (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)
                                  (Component-Of ?R ?Q)))))))

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