maxDeviceOperatingTemp - Sigma Knowledge base Browser

appearance as argument number 1

(documentation maxDeviceOperatingTemp EnglishLanguage "The maximum safe rated temperature at which a device may be operated. Operating the device in an environment above the temperature is likely to result in a Damaging of the Device.")	ComputingBrands.kif 3620-3622
(domain maxDeviceOperatingTemp 1 Device)	ComputingBrands.kif 3615-3615	The number 1 argument of maximum device operating temperature is an instance of device
(domain maxDeviceOperatingTemp 2 TemperatureMeasure)	ComputingBrands.kif 3616-3616	The number 2 argument of maximum device operating temperature is an instance of temperature measure
(instance maxDeviceOperatingTemp BinaryPredicate)	ComputingBrands.kif 3614-3614	maximum device operating temperature is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage maxDeviceOperatingTemp "maximum device operating temperature of %1 is %2")	ComputingBrands.kif 3619-3619
(termFormat EnglishLanguage maxDeviceOperatingTemp "maximum device operating temperature")	ComputingBrands.kif 3618-3618

antecedent

(=>
    (holdsDuring ?T
        (and
            (maxDeviceOperatingTemp ?D
                (MeasureFn ?T1 ?U))
            (instance ?U UnitOfTemperature)
            (located ?D ?A)
            (attribute ?D DeviceOn)
            (airTemperature ?A
                (MeasureFn ?T2 ?U))
            (greaterThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))

ComputingBrands.kif 3624-3637