Relation LIST-PRICE

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

Slots on this relation:

Documentation:

A relation that indicates the price of a product that the seller quotes to a potential buyer. For example, to say that the list price of Cup001 is $40, (= (list-price Cup001) (* 40 US-Dollar)).

Instance-Of: Relation

Arity: 2

Domain: Product

Range: Currency-quantity

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))

(=> (List-Price $X $Y) (Product $X))

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