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 "这是用来量度温度的,科学上来说,一件东西的温度 是构成这个东西原子或分子的平均速度。") Merge.kif 9053-9054
(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 9049-9051
(documentation TemperatureMeasure JapaneseLanguage "温度の測定。科学界では、何かの温度は、物事 を構成する原子や分子の平均速度として理解されている。") Merge.kif 9056-9057
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 9047-9047 温度測定一定量subclass では %n

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


(termFormat ChineseLanguage TemperatureMeasure "温度测量") chinese_format.kif 1307-1307 termFormat ChineseLanguage, 温度測定 and "温度测量"
(termFormat EnglishLanguage TemperatureMeasure "temperature measure") english_format.kif 2634-2634 termFormat EnglishLanguage, 温度測定 and "temperature measure"
(termFormat JapaneseLanguage TemperatureMeasure "温度測定") english_format.kif 2635-2635 termFormat JapaneseLanguage, 温度測定 and "温度測定"

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


(domain airTemperature 2 TemperatureMeasure) Mid-level-ontology.kif 23593-23593 airTemperature の数値 2 引数は 温度測定instance では %n
(domain averageTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 599-599 averageTemperatureForPeriod の数値 3 引数は 温度測定instance では %n
(domain boilingPoint 2 TemperatureMeasure) Merge.kif 18153-18153 boilingPoint の数値 2 引数は 温度測定instance では %n
(domain highestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 611-611 highestTemperatureForPeriod の数値 3 引数は 温度測定instance では %n
(domain lowestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 623-623 lowestTemperatureForPeriod の数値 3 引数は 温度測定instance では %n
(domain maxDeviceOperatingTemp 2 TemperatureMeasure) ComputingBrands.kif 3433-3433 maxDeviceOperatingTemp の数値 2 引数は 温度測定instance では %n
(domain maxDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3458-3458 maxDeviceStorageTemp の数値 2 引数は 温度測定instance では %n
(domain meltingPoint 2 TemperatureMeasure) Merge.kif 18219-18219 meltingPoint の数値 2 引数は 温度測定instance では %n
(domain minDeviceOperatingTemp 2 TemperatureMeasure) ComputingBrands.kif 3480-3480 minDeviceOperatingTemp の数値 2 引数は 温度測定instance では %n
(domain minDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3502-3502 minDeviceStorageTemp の数値 2 引数は 温度測定instance では %n

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))
        (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 4047-4077

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 23607-23616
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfTemperature))
    (instance ?QUANT TemperatureMeasure))
Merge.kif 9211-9215
(=>
    (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 23642-23654
(=>
    (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 14982-14995
(=>
    (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 14928-14941
(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?T)
        (instance ?T Thermometer))
    (instance ?Q TemperatureMeasure))
Mid-level-ontology.kif 3406-3412
(=>
    (and
        (instance ?MEASURE Measuring)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?THERMOMETER)
        (instance ?THERMOMETER Thermometer))
    (instance ?QUANTITY TemperatureMeasure))
Mid-level-ontology.kif 3394-3400


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