Class TANGIBLE-PRODUCT

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

Slots on this class:

Documentation:

A Product that has physical extent. Contrast with Service.

Instance-Of: Class

Subclass-Of: Product

Domain-Of: Maximum-storage-temperature, Minimum-storage-temperature

Other Related Axioms:

(=> (Minimum-Storage-Temperature $X $Y) (Tangible-Product $X))

(=> (Maximum-Storage-Temperature $X $Y) (Tangible-Product $X))

(Subclass-Partition Product (Setof Service Tangible-Product))