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 3648-3650
(domain maxDeviceStorageTemp 1 Device)	ComputingBrands.kif 3643-3643	maxDeviceStorageTemp の数値 1 引数はデバイスの instance では
(domain maxDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3644-3644	maxDeviceStorageTemp の数値 2 引数は温度測定の instance では
(instance maxDeviceStorageTemp BinaryPredicate)	ComputingBrands.kif 3642-3642	maxDeviceStorageTemp は 2進述語の instance では

appearance as argument number 2

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

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))

ComputingBrands.kif 3652-3665