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 23594-23598
(domain airTemperature 1 Object) Mid-level-ontology.kif 23591-23591 airTemperature 的 1 数量 是 客体instance
(domain airTemperature 2 TemperatureMeasure) Mid-level-ontology.kif 23592-23592 airTemperature 的 2 数量 是 温度测量instance
(instance airTemperature BinaryPredicate) Mid-level-ontology.kif 23590-23590 airTemperature二元谓语instance
(subrelation airTemperature measure) Mid-level-ontology.kif 23593-23593 airTemperature计量subrelation

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


(format EnglishLanguage airTemperature "%2 is %n an air temperature of %1") domainEnglishFormat.kif 39-39
(termFormat EnglishLanguage airTemperature "air temperature") domainEnglishFormat.kif 1481-1481 termFormat EnglishLanguage, airTemperature and "air temperature"

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


(=>
    (and
        (instance ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA ?TEMP)))
    (holdsDuring ?TIME
        (greaterThan
            (MeasureFn 10 CelsiusDegree) ?TEMP)))
Geography.kif 1539-1544
(=>
    (holdsDuring ?T
        (and
            (maxDeviceOperatingTemp ?D ?T1)
            (located ?D ?A)
            (attribute ?D DeviceOn)
            (airTemperature ?A ?T2)
            (greaterThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))
ComputingBrands.kif 3430-3440
(=>
    (holdsDuring ?T
        (and
            (maxDeviceStorageTemp ?D ?T1)
            (located ?D ?A)
            (attribute ?D DeviceOff)
            (airTemperature ?A ?T2)
            (greaterThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))
ComputingBrands.kif 3455-3465
(=>
    (holdsDuring ?T
        (and
            (minDeviceOperatingTemp ?D ?T1)
            (located ?D ?A)
            (attribute ?D DeviceOn)
            (airTemperature ?A ?T2)
            (lessThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))
ComputingBrands.kif 3477-3487
(=>
    (holdsDuring ?T
        (and
            (minDeviceStorageTemp ?D ?T1)
            (located ?D ?A)
            (attribute ?D DeviceOff)
            (airTemperature ?A ?T2)
            (lessThan ?T2 ?T1)))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?T)
            (attribute ?D DeviceDamaged)) Likely))
ComputingBrands.kif 3500-3510

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 1086-1096 实体地区instance那个 实体标准状况attribute 时间位置 holdsDuring 若且唯若 airTemperature 那个 实体 and 298.15 KelvinDegreebarometricPressure 那个 实体 and 29.530 InchMercury那个 时间位置 holdsDuring
(=>
    (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 ?X)
                        (result ?PROC
                            (airTemperature ?AREA ?TEMP))))))))
engineering.kif 1134-1146
(=>
    (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 23980-23988


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners