Relation _PAIR

Arity: 2

Subrelation-Of: Quantitative-property

Axioms:

(<=> (_Pair ?A ?B)
     (And (Exists (?C) (And (Numeric-Value ?A ?C) (= ?C 2)))
          (Quantitative-Property ?A ?B)))

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