minDeviceStorageTemp - Sigma Knowledge base Browser

appearance as argument number 1

(documentation minDeviceStorageTemp EnglishLanguage "The minimum safe rated temperature at which a device may be stored. Storing the device in an environment below the temperature is likely to result in a Damaging of the Device.")	ComputingBrands.kif 3682-3684
(domain minDeviceStorageTemp 1 Device)	ComputingBrands.kif 3676-3676	domain minDeviceStorageTemp, 1 and Device
(domain minDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3677-3677	domain minDeviceStorageTemp, 2 and TemperatureMeasure
(instance minDeviceStorageTemp BinaryPredicate)	ComputingBrands.kif 3675-3675	instance minDeviceStorageTemp and BinaryPredicate

appearance as argument number 2

(format EnglishLanguage minDeviceStorageTemp "minimum device storagqqqe temperature of %1 is %2")	ComputingBrands.kif 3680-3680
(termFormat EnglishLanguage minDeviceStorageTemp "minimum device storage temperature")	ComputingBrands.kif 3679-3679

antecedent

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

ComputingBrands.kif 3686-3696