maxDeviceStorageTemp - Sigma Knowledge base Browser

appearance as argument number 1

(instance maxDeviceStorageTemp BinaryPredicate)	ComputingBrands.kif 3553-3553	maximum device storage temperature is an instance of binary predicate
(domain maxDeviceStorageTemp 1 Device)	ComputingBrands.kif 3554-3554	The number 1 argument of maximum device storage temperature is an instance of device
(domain maxDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3555-3555	The number 2 argument of maximum device storage temperature is an instance of temperature measure
(documentation maxDeviceStorageTemp EnglishLanguage "The maximum safe rated temperature at which a device may be stored. Storing the device in an environment above the temperature is likely to result in a Damaging of the Device.")	ComputingBrands.kif 3559-3561	The number 2 argument of maximum device storage temperature is an instance of temperature measure

appearance as argument number 2

(termFormat EnglishLanguage maxDeviceStorageTemp "maximum device storage temperature")	ComputingBrands.kif 3557-3557
(format EnglishLanguage maxDeviceStorageTemp "maximum device storage temperature of %1 is %2")	ComputingBrands.kif 3558-3558

antecedent

(=>
    (holdsDuring ?T
        (and
            (maxDeviceStorageTemp ?D
                (MeasureFn ?T1 ?U))
            (instance ?U UnitOfTemperature)
            (located ?D ?A)
            (attribute ?D DeviceOff)
            (airTemperature ?A
                (MeasureFn ?T2 ?U))
            (greaterThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))

If maximum device storage temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device off is an attribute of X and V Z(s) is an air temperature of W and V is greater than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely