minDeviceOperatingTemp - Sigma Knowledge base Browser

appearance as argument number 1

(documentation minDeviceOperatingTemp EnglishLanguage "The minimum safe rated temperature at which a device may be operated. Operating the device in an environment below the temperature is likely to result in a Damaging of the Device.")	ComputingBrands.kif 3659-3661
(domain minDeviceOperatingTemp 1 Device)	ComputingBrands.kif 3654-3654	domain minDeviceOperatingTemp, 1 and Device
(domain minDeviceOperatingTemp 2 TemperatureMeasure)	ComputingBrands.kif 3655-3655	domain minDeviceOperatingTemp, 2 and TemperatureMeasure
(instance minDeviceOperatingTemp BinaryPredicate)	ComputingBrands.kif 3653-3653	instance minDeviceOperatingTemp and BinaryPredicate

appearance as argument number 2

(format EnglishLanguage minDeviceOperatingTemp "minimum device operating temperature of %1 is %2")	ComputingBrands.kif 3658-3658
(termFormat EnglishLanguage minDeviceOperatingTemp "minimum device operating temperature")	ComputingBrands.kif 3657-3657

antecedent

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

ComputingBrands.kif 3663-3673