maxDeviceStorageTemp - Sigma Knowledge base Browser

appearance as argument number 1

(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 3460-3462
(domain maxDeviceStorageTemp 1 Device)	ComputingBrands.kif 3455-3455	domain maxDeviceStorageTemp, 1 and Device
(domain maxDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3456-3456	domain maxDeviceStorageTemp, 2 and TemperatureMeasure
(instance maxDeviceStorageTemp BinaryPredicate)	ComputingBrands.kif 3454-3454	instance maxDeviceStorageTemp and BinaryPredicate

appearance as argument number 2

(format EnglishLanguage maxDeviceStorageTemp "maximum device storage temperature of %1 is %2")	ComputingBrands.kif 3459-3459
(termFormat EnglishLanguage maxDeviceStorageTemp "maximum device storage temperature")	ComputingBrands.kif 3458-3458	termFormat EnglishLanguage, maxDeviceStorageTemp and "maximum device storage temperature"

antecedent

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

ComputingBrands.kif 3464-3474