Function MAXIMUM-STORAGE-TEMPERATURE


Slots on this function:

Documentation:
The maximum temperature at which this object should be stored.
Instance-Of: Function
Arity: 2
Domain: Tangible-product
Range: Temperature

Other Related Axioms:

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

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