Relation CURRENCY-TRANSFERRED

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

Slots on this relation:

Documentation:

The amount of money that changes hands in a purchase.

Instance-Of: Relation

Arity: 2

Domain: Purchasing-agreement

Range: Currency-quantity

Implication Axioms:

(=> (And (Currency-Transferred ?Buy ?Price) (Object-Sold ?Buy ?Prod))
    (List-Price ?Prod ?Price))

(=> (And (List-Price ?Prod ?Price) (Object-Sold ?Buy ?Prod))
    (Currency-Transferred ?Buy ?Price))

Other Related Axioms:

(=> (And (Currency-Transferred ?Buy ?Price) (Object-Sold ?Buy ?Prod))
    (List-Price ?Prod ?Price))

(=> (And (List-Price ?Prod ?Price) (Object-Sold ?Buy ?Prod))
    (Currency-Transferred ?Buy ?Price))

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

(=> (Currency-Transferred $X $Y) (Purchasing-Agreement $X))