Class PRODUCT

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

Slots on this class:

Documentation:

A class of objects that are typically bought and sold.

Instance-Of: Class

Subclass-Of: Individual-thing

Domain-Of:

Associated-documents, Has-model-number, Has-special-discount, List-price

Range-Of: Object-sold

Subclass-Partition: {Service, Tangible-product}

Superclass-Of: Service, Service-agreement, Tangible-product

Other Related Axioms:

(=> (Object-Sold $X $Y) (Product $Y))

(=> (Associated-Documents $X $Y) (Product $X))

(=> (Has-Model-Number $X $Y) (Product $X))

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

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