minDeviceOperatingTemp - Sigma Knowledge base Browser

appearance as argument number 1

(instance minDeviceOperatingTemp BinaryPredicate)	ComputingBrands.kif 3578-3578	minimum device operating temperature is an instance of binary predicate
(domain minDeviceOperatingTemp 1 Device)	ComputingBrands.kif 3579-3579	The number 1 argument of minimum device operating temperature is an instance of device
(domain minDeviceOperatingTemp 2 TemperatureMeasure)	ComputingBrands.kif 3580-3580	The number 2 argument of minimum device operating temperature is an instance of temperature measure
(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 3584-3586	The number 2 argument of minimum device operating temperature is an instance of temperature measure

appearance as argument number 2

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

antecedent

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

If minimum device operating temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device on is an attribute of X and V Z(s) is an air temperature of W and V is less than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely