Class CURRENCY-QUANTITY

• Defined in theory: Product-theory
• Source code: product-theory.lisp

Slots on this class:

Documentation:

The class of quantities used to measure currency.

Instance-Of: Class

Subclass-Of: Scalar-quantity

Has-Instance: Us-cent, Us-dollar

Range-Of: Currency-transferred, List-price

Other Related Axioms:

(=> (Currency-Transferred $X $Y) (Currency-Quantity $Y))

(=> (List-Price $X $Y) (Currency-Quantity $Y))