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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TemperatureMeasure
TemperatureMeasure

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 5953-5955
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 5951-5951 subclass TemperatureMeasure and ConstantQuantity

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 23657-23657 domain airTemperature, 2 and TemperatureMeasure
(domain averageTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 598-598 domain averageTemperatureForPeriod, 3 and TemperatureMeasure
(domain boilingPoint 2 TemperatureMeasure) Merge.kif 12763-12763 domain boilingPoint, 2 and TemperatureMeasure
(domain highestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 610-610 domain highestTemperatureForPeriod, 3 and TemperatureMeasure
(domain lowestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 622-622 domain lowestTemperatureForPeriod, 3 and TemperatureMeasure
(domain maxDeviceOperatingTemp 2 TemperatureMeasure) ComputingBrands.kif 3613-3613 domain maxDeviceOperatingTemp, 2 and TemperatureMeasure
(domain maxDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3638-3638 domain maxDeviceStorageTemp, 2 and TemperatureMeasure
(domain meltingPoint 2 TemperatureMeasure) Merge.kif 12827-12827 domain meltingPoint, 2 and TemperatureMeasure
(domain minDeviceOperatingTemp 2 TemperatureMeasure) ComputingBrands.kif 3660-3660 domain minDeviceOperatingTemp, 2 and TemperatureMeasure
(domain minDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3682-3682 domain minDeviceStorageTemp, 2 and TemperatureMeasure

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 4054-4086

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 23671-23680
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfTemperature))
    (instance ?QUANT TemperatureMeasure))
Merge.kif 6044-6048
(=>
    (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 23706-23718
(=>
    (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 10208-10221
(=>
    (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 10167-10180
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners