Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  minDeviceOperatingTemp

 Sigma KEE - minDeviceOperatingTemp
minDeviceOperatingTemp

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))		 ComputingBrands.kif 3588-3601 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners