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


KB Term:  Term intersection
English Word: 

  UnmaximizingGraphicalWindow

 Sigma KEE - minDeviceStorageTemp
minDeviceStorageTemp

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


(instance minDeviceStorageTemp BinaryPredicate) ComputingBrands.kif 3603-3603 minimum device storage temperature is an instance of binary predicate
(domain minDeviceStorageTemp 1 Device) ComputingBrands.kif 3604-3604 The number 1 argument of minimum device storage temperature is an instance of device
(domain minDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3605-3605 The number 2 argument of minimum device storage temperature is an instance of temperature measure
(documentation minDeviceStorageTemp EnglishLanguage "The minimum safe rated temperature at which a device may be stored. Storing the device in an environment below the temperature is likely to result in a Damaging of the Device.") ComputingBrands.kif 3610-3612 The number 2 argument of minimum device storage temperature is an instance of temperature measure

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


(termFormat EnglishLanguage minDeviceStorageTemp "minimum device storage temperature") ComputingBrands.kif 3607-3607
(format EnglishLanguage minDeviceStorageTemp "minimum device storagqqqe temperature of %1 is %2") ComputingBrands.kif 3608-3608

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


(=>
    (holdsDuring ?T
        (and
            (minDeviceStorageTemp ?D
                (MeasureFn ?T1 ?U))
            (instance ?U UnitOfTemperature)
            (located ?D ?A)
            (attribute ?D DeviceOff)
            (airTemperature ?A
                (MeasureFn ?T2 ?U))
            (lessThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))		 ComputingBrands.kif 3614-3627 If minimum device storagqqqe 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 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