minDeviceStorageTemp - Sigma Knowledge base Browser

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))

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