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 3642-3644
(domain maxDeviceStorageTemp 1 Device)	ComputingBrands.kif 3637-3637	domain maxDeviceStorageTemp, 1 and Device
(domain maxDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3638-3638	domain maxDeviceStorageTemp, 2 and TemperatureMeasure
(instance maxDeviceStorageTemp BinaryPredicate)	ComputingBrands.kif 3636-3636	instance maxDeviceStorageTemp and BinaryPredicate

appearance as argument number 2

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

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 3646-3656