Function MONEY-VALUE

Arity: 3

Range: Number

Subrelation-Of: N-ary-tuple

Axioms:

(Nth-Domain Money-Value 2 Currency)

(Nth-Domain Money-Value 1 Entity)

(Nth-Domain Money-Value 2 Currency)

(=> (Money-Value ?A ?B ?C)
    (Exists (?D) (And (Numeric-Value ?B ?D) (= ?D ?C))))

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