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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TemperatureMeasure
TemperatureMeasure(temperature measure)Curie_point, Curie_temperature, H, absolute_temperature, absolute_zero, basal_body_temperature, basal_temperature, blood_heat, body_temperature, boil, boiling_point, chill, chilliness, cold, coldness, cool, coolness, dew_point, enthalpy, fieriness, flash_point, flashpoint, freezing_point, frigidity, frigidness, frostiness, gelidity, heat, heat_content, high_temperature, hotness, iciness, low_temperature, lukewarmness, melting_point, mercury, nip, passion, red-hot, red_heat, room_temperature, simmer, sizzling, temperature, temperature_unit, tepidity, tepidness, torridity, total_heat, warmness...

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


(documentation TemperatureMeasure ChineseLanguage "这是用来量度温度的,科学上来说,一件东西的温度 是构成这个东西原子或分子的平均速度。") chinese_format.kif 2415-2416
(documentation TemperatureMeasure EnglishLanguage "Measures of temperature. In scientific circles, the temperature of something is understood as the average velocity of the atoms or molecules that make up the thing.") Merge.kif 5976-5978
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 5974-5974 Temperature measure is a subclass of constant quantity

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


(termFormat ChineseLanguage TemperatureMeasure "温度测量") chinese_format.kif 1307-1307
(termFormat EnglishLanguage TemperatureMeasure "temperature measure") english_format.kif 1840-1840

appearance as argument number 3
-------------------------


(domain airTemperature 2 TemperatureMeasure) Mid-level-ontology.kif 23630-23630 The number 2 argument of air temperature is an instance of temperature measure
(domain averageTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 598-598 The number 3 argument of average temperature for period is an instance of temperature measure
(domain boilingPoint 2 TemperatureMeasure) Merge.kif 12780-12780 The number 2 argument of boiling point is an instance of temperature measure
(domain highestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 610-610 The number 3 argument of highest temperature for period is an instance of temperature measure
(domain lowestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 622-622 The number 3 argument of lowest temperature for period is an instance of temperature measure
(domain maxDeviceOperatingTemp 2 TemperatureMeasure) ComputingBrands.kif 3608-3608 The number 2 argument of maximum device operating temperature is an instance of temperature measure
(domain maxDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3633-3633 The number 2 argument of maximum device storage temperature is an instance of temperature measure
(domain meltingPoint 2 TemperatureMeasure) Merge.kif 12844-12844 The number 2 argument of melting point is an instance of temperature measure
(domain minDeviceOperatingTemp 2 TemperatureMeasure) ComputingBrands.kif 3655-3655 The number 2 argument of minimum device operating temperature is an instance of temperature measure
(domain minDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3677-3677 The number 2 argument of minimum device storage temperature is an instance of temperature measure

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


(=>
    (and
        (instance ?BTS BimetalTemperatureSensor)
        (instance ?M1 Metal)
        (instance ?M2 Metal)
        (not
            (equal ?M1 ?M2))
        (part ?M1 ?BTS)
        (part ?M2 ?BTS)
        (instance ?T1 TemperatureMeasure)
        (instance ?T2 TemperatureMeasure)
        (instance ?L1 LengthMeasure)
        (instance ?L2 LengthMeasure)
        (instance ?L3 LengthMeasure)
        (instance ?L4 LengthMeasure)
        (not
            (equal ?T1 ?T2))
        (not
            (equal ?TM1 ?TM2))
        (holdsDuring ?TM1
            (and
                (measure ?BTS ?T1)
                (measure ?M1 ?L1)
                (measure ?M2 ?L2)))
        (holdsDuring ?TM2
            (and
                (measure ?BTS ?T2)
                (measure ?M1 ?L3)
                (measure ?M2 ?L4))))
    (not
        (equal
            (DivisionFn ?L1 ?L2)
            (DivisionFn ?L3 ?L4))))
Cars.kif 4055-4087

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


(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y TemperatureAttribute)
        (instance ?X Object))
    (exists (?TEMP)
        (and
            (measure ?X ?TEMP)
            (instance ?TEMP TemperatureMeasure)
            (attribute ?TEMP ?Y))))
Mid-level-ontology.kif 23644-23653
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfTemperature))
    (instance ?QUANT TemperatureMeasure))
Merge.kif 6067-6071
(=>
    (and
        (immediateInstance ?X ?CLASS)
        (immediateInstance ?Y ?CLASS)
        (attribute ?X ColdTemperature)
        (attribute ?Y HotTemperature))
    (exists (?TEMPX ?TEMPY)
        (and
            (measure ?X ?TEMPX)
            (instance ?TEMPX TemperatureMeasure)
            (measure ?Y ?TEMPY)
            (instance ?TEMPY TemperatureMeasure)
            (greaterThan ?TEMPY ?TEMPX))))
Mid-level-ontology.kif 23679-23691
(=>
    (and
        (instance ?COOL Cooling)
        (patient ?COOL ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
        (and
            (instance ?UNIT TemperatureMeasure)
            (holdsDuring
                (BeginFn
                    (WhenFn ?COOL))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT1))
            (holdsDuring
                (EndFn
                    (WhenFn ?COOL))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT2))
            (lessThan ?QUANT2 ?QUANT1))))
Merge.kif 10231-10244
(=>
    (and
        (instance ?HEAT Heating)
        (patient ?HEAT ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
        (and
            (instance ?UNIT TemperatureMeasure)
            (holdsDuring
                (BeginFn
                    (WhenFn ?HEAT))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT1))
            (holdsDuring
                (EndFn
                    (WhenFn ?HEAT))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT2))
            (greaterThan ?QUANT2 ?QUANT1))))
Merge.kif 10190-10203
(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?T)
        (instance ?T Thermometer))
    (instance ?Q TemperatureMeasure))
Mid-level-ontology.kif 3408-3414
(=>
    (and
        (instance ?MEASURE Measuring)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?THERMOMETER)
        (instance ?THERMOMETER Thermometer))
    (instance ?QUANTITY TemperatureMeasure))
Mid-level-ontology.kif 3396-3402


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