Function THE-HIGHER

Arity: 3

Subrelation-Of: Structuring-ternary

Axioms:

(=> (The-Higher ?A ?B ?C)
    (Or (=> (Higher-Than ?A ?B) (Identity ?C ?B))
        (=> (Higher-Than ?B ?A) (Identity ?C ?B))))

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