Relation HAS-SPECIAL-DISCOUNT

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

Slots on this relation:

Documentation:

A relation that indicates the discounts that may be applicable for the product such as government discounts, school discounts, quantity discounts, etc.

Instance-Of: Relation

Arity: 2

Domain: Product

Range: Discount

Other Related Axioms:

(=> (Has-Special-Discount $X $Y) (Product $X))

(=> (Has-Special-Discount $X $Y) (Discount $Y))