Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  airTemperature

Sigma KEE - airTemperature
airTemperature

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


(documentation airTemperature EnglishLanguage "(airTemperature ?AREA ?TEMP) means that the temperature of the air at ?AREA is ?TEMP. Temperature may be expressed in units of TemperatureMeasure, including CelsiusDegree and FahrenheitDegree, among others.") Mid-level-ontology.kif 25160-25164
(domain airTemperature 1 Object) Mid-level-ontology.kif 25157-25157 The number 1 argument of air temperature is an instance of object
(domain airTemperature 2 TemperatureMeasure) Mid-level-ontology.kif 25158-25158 The number 2 argument of air temperature is an instance of temperature measure
(instance airTemperature BinaryPredicate) Mid-level-ontology.kif 25156-25156 air temperature is an instance of binary predicate
(subrelation airTemperature measure) Mid-level-ontology.kif 25159-25159 air temperature is a subrelation of measure

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


(format ChineseLanguage airTemperature "%2 %n 是 %1 的 air 温度") domainEnglishFormat.kif 120-120
(format ChineseTraditionalLanguage airTemperature "%2 %n 是 %1 的 air 溫度") domainEnglishFormat.kif 119-119
(format EnglishLanguage airTemperature "%2 is %n an air temperature of %1") domainEnglishFormat.kif 118-118
(termFormat ChineseLanguage airTemperature "气温") domainEnglishFormat.kif 6291-6291
(termFormat ChineseTraditionalLanguage airTemperature "氣溫") domainEnglishFormat.kif 6290-6290
(termFormat EnglishLanguage airTemperature "air temperature") domainEnglishFormat.kif 6289-6289

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


(=>
    (and
        (climateTypeInArea ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA
                (MeasureFn ?TEMP CelsiusDegree))))
    (holdsDuring ?TIME
        (greaterThan 10.0 ?TEMP)))
Geography.kif 1600-1606
(=>
    (holdsDuring ?T
        (and
            (located ?H ?L)
            (airTemperature ?L
                (MeasureFn ?T ?TU))
            (attribute ?H FeelingCold)))
    (desires ?H
        (holdsDuring ?T
            (and
                (airTemperature ?L
                    (MeasureFn ?T2 ?TU))
                (greaterThan ?T2 ?T)))))
emotion.kif 1865-1877
(=>
    (holdsDuring ?T
        (and
            (located ?H ?L)
            (airTemperature ?L
                (MeasureFn ?T ?TU))
            (attribute ?H FeelingHot)))
    (desires ?H
        (holdsDuring ?T
            (and
                (airTemperature ?L
                    (MeasureFn ?T2 ?TU))
                (greaterThan ?T ?T2)))))
emotion.kif 1902-1914
(=>
    (holdsDuring ?T
        (and
            (maxDeviceOperatingTemp ?D
                (MeasureFn ?T1 ?U))
            (instance ?U UnitOfTemperature)
            (located ?D ?A)
            (attribute ?D DeviceOn)
            (airTemperature ?A
                (MeasureFn ?T2 ?U))
            (greaterThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))
ComputingBrands.kif 3592-3605
(=>
    (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 3620-3633
(=>
    (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 3645-3658
(=>
    (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 3671-3684

consequent
-------------------------


(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))
Weather.kif 2679-2689 An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
(=>
    (holdsDuring ?T
        (and
            (located ?H ?L)
            (airTemperature ?L
                (MeasureFn ?T ?TU))
            (attribute ?H FeelingCold)))
    (desires ?H
        (holdsDuring ?T
            (and
                (airTemperature ?L
                    (MeasureFn ?T2 ?TU))
                (greaterThan ?T2 ?T)))))
emotion.kif 1865-1877
(=>
    (holdsDuring ?T
        (and
            (located ?H ?L)
            (airTemperature ?L
                (MeasureFn ?T ?TU))
            (attribute ?H FeelingHot)))
    (desires ?H
        (holdsDuring ?T
            (and
                (airTemperature ?L
                    (MeasureFn ?T2 ?TU))
                (greaterThan ?T ?T2)))))
emotion.kif 1902-1914
(=>
    (instance ?CTRL TemperatureControl)
    (exists (?DEVICE ?TEMP)
        (and
            (instance ?DEVICE ElectricDevice)
            (part ?CTRL ?DEVICE)
            (hasPurpose ?DEVICE
                (exists (?PROC ?AREA)
                    (and
                        (instance ?AREA Region)
                        (instance ?PROC Process)
                        (instrument ?PROC ?CTRL)
                        (result ?PROC
                            (airTemperature ?AREA ?TEMP))))))))
engineering.kif 1138-1150
(=>
    (instance ?X AirConditioner)
    (hasPurpose ?X
        (exists (?PROC ?TEMP ?AREA)
            (and
                (located ?X ?AREA)
                (instance ?PROC Process)
                (instrument ?PROC ?X)
                (result ?PROC
                    (airTemperature ?AREA ?TEMP))))))
Mid-level-ontology.kif 25478-25486


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 is open source software produced by Articulate Software and its partners