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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 25940-25944
(domain airTemperature 1 Object) Mid-level-ontology.kif 25937-25937 气温 的 1 数量 是 客体 的 instance
(domain airTemperature 2 TemperatureMeasure) Mid-level-ontology.kif 25938-25938 气温 的 2 数量 是 温度测量 的 instance
(instance airTemperature BinaryPredicate) Mid-level-ontology.kif 25936-25936 气温 是 二元谓语 的 instance
(subrelation airTemperature measure) Mid-level-ontology.kif 25939-25939 气温 是 计量 的 subrelation

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 6290-6290
(termFormat ChineseTraditionalLanguage airTemperature "氣溫") domainEnglishFormat.kif 6289-6289
(termFormat EnglishLanguage airTemperature "air temperature") domainEnglishFormat.kif 6288-6288

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


(=>
    (and
        (climateTypeInArea ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA
                (MeasureFn ?TEMP CelsiusDegree))))
    (holdsDuring ?TIME
        (greaterThan 10.0 ?TEMP)))		 Geography.kif 1597-1603
(=>
    (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 3629-3642
(=>
    (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 3657-3670
(=>
    (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 3682-3695
(=>
    (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 3708-3721

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 2663-2673 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring
(=>
    (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 1139-1151
(=>
    (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 26258-26266


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



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