TreeView Knowledge Base Browser - maxDeviceOperatingTemp

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 3623-3625
(domain maxDeviceOperatingTemp 1 Device)	ComputingBrands.kif 3618-3618	Le nombre 1 argument de maxDeviceOperatingTemp est une instance de appareil
(domain maxDeviceOperatingTemp 2 TemperatureMeasure)	ComputingBrands.kif 3619-3619	Le nombre 2 argument de maxDeviceOperatingTemp est une instance de mesure de temperature
(instance maxDeviceOperatingTemp BinaryPredicate)	ComputingBrands.kif 3617-3617	maxDeviceOperatingTemp est une instance de pr�dicat binaire

appearance as argument number 2

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

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 3627-3640