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


KB Term:  Term intersection
English Word: 

  maxDeviceStorageTemp

 Sigma KEE - maxDeviceStorageTemp
maxDeviceStorageTemp

appearance as argument number 1
-------------------------


(instance maxDeviceStorageTemp BinaryPredicate) ComputingBrands.kif 3553-3553 maximum device storage temperature is an instance of binary predicate
(domain maxDeviceStorageTemp 1 Device) ComputingBrands.kif 3554-3554 The number 1 argument of maximum device storage temperature is an instance of device
(domain maxDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3555-3555 The number 2 argument of maximum device storage temperature is an instance of temperature measure
(documentation maxDeviceStorageTemp EnglishLanguage "The maximum safe rated temperature at which a device may be stored. Storing the device in an environment above the temperature is likely to result in a Damaging of the Device.") ComputingBrands.kif 3559-3561 The number 2 argument of maximum device storage temperature is an instance of temperature measure

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage maxDeviceStorageTemp "maximum device storage temperature") ComputingBrands.kif 3557-3557
(format EnglishLanguage maxDeviceStorageTemp "maximum device storage temperature of %1 is %2") ComputingBrands.kif 3558-3558

antecedent
-------------------------


(=>
    (holdsDuring ?T
        (and
            (maxDeviceStorageTemp ?D
                (MeasureFn ?T1 ?U))
            (instance ?U UnitOfTemperature)
            (located ?D ?A)
            (attribute ?D DeviceOff)
            (airTemperature ?A
                (MeasureFn ?T2 ?U))
            (greaterThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))		 ComputingBrands.kif 3563-3576 If maximum device storage temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device off is an attribute of X and V Z(s) is an air temperature of W and V is greater 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