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 6316-6318
(documentation TemperatureMeasure JapaneseLanguage "温度の測定。科学界では、何かの温度は、物事 を構成する原子や分子の平均速度として理解されている。") japanese_format.kif 1102-1103
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6314-6314 温度測定 は 一定量 の subclass では

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


(termFormat ChineseLanguage TemperatureMeasure "温度测量") chinese_format.kif 1307-1307
(termFormat EnglishLanguage TemperatureMeasure "temperature measure") english_format.kif 1831-1831
(termFormat FrenchLanguage TemperatureMeasure "mesure de temperature") french_format.kif 985-985
(termFormat Hindi TemperatureMeasure "taapa maapa") terms-hindi.txt 520-520
(termFormat ItalianLanguage TemperatureMeasure "MisuraDiTemperatura") terms-it.txt 524-524
(termFormat JapaneseLanguage TemperatureMeasure "温度測定") japanese_format.kif 2669-2669
(termFormat PortugueseLanguage TemperatureMeasure "Medida de Temperatura") portuguese_format.kif 937-937
(termFormat cb TemperatureMeasure "kainiton-kabugnawon sukod sa panahon") terms-cb.txt 526-526
(termFormat cz TemperatureMeasure "temperature measure") terms-cz.txt 560-560
(termFormat de TemperatureMeasure "Temperaturmass") terms-de.txt 819-819
(termFormat ro TemperatureMeasure "mãsurã de temperaturã") relations-ro.kif 1006-1006
(termFormat tg TemperatureMeasure "sukat ng temperatura") terms-tg.txt 525-525

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


(domain airTemperature 2 TemperatureMeasure) Mid-level-ontology.kif 27572-27572 airTemperature の数値 2 引数は 温度測定 の instance では
(domain averageTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 1222-1222 averageTemperatureForPeriod の数値 3 引数は 温度測定 の instance では
(domain boilingPoint 2 TemperatureMeasure) Merge.kif 13947-13947 boilingPoint の数値 2 引数は 温度測定 の instance では
(domain coreBodyTemp 2 TemperatureMeasure) Medicine.kif 496-496 coreBodyTemp の数値 2 引数は 温度測定 の instance では
(domain highestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 1234-1234 highestTemperatureForPeriod の数値 3 引数は 温度測定 の instance では
(domain lowestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 1246-1246 lowestTemperatureForPeriod の数値 3 引数は 温度測定 の instance では
(domain maxDeviceOperatingTemp 2 TemperatureMeasure) ComputingBrands.kif 3616-3616 maxDeviceOperatingTemp の数値 2 引数は 温度測定 の instance では
(domain maxDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3644-3644 maxDeviceStorageTemp の数値 2 引数は 温度測定 の instance では
(domain meltingPoint 2 TemperatureMeasure) Merge.kif 14011-14011 meltingPoint の数値 2 引数は 温度測定 の instance では
(domain minDeviceOperatingTemp 2 TemperatureMeasure) ComputingBrands.kif 3669-3669 minDeviceOperatingTemp の数値 2 引数は 温度測定 の instance では
(domain minDeviceStorageTemp 2 TemperatureMeasure) ComputingBrands.kif 3694-3694 minDeviceStorageTemp の数値 2 引数は 温度測定 の instance では

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 4142-4174

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 27585-27594
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfTemperature))
    (instance ?QUANT TemperatureMeasure))		 Merge.kif 6407-6411
(=>
    (and
        (immediateInstance ?X ?CLASS)
        (immediateInstance ?Y ?CLASS)
        (attribute ?X ColdTemperature)
        (attribute ?Y HotTemperature))
    (exists (?TEMPX ?TEMPY ?UNIT)
        (and
            (measure ?X
                (MeasureFn ?TEMPX ?UNIT))
            (instance ?UNIT UnitOfTemperature)
            (instance ?TEMPX TemperatureMeasure)
            (measure ?Y
                (MeasureFn ?TEMPY ?UNIT))
            (instance ?TEMPY TemperatureMeasure)
            (greaterThan ?TEMPY ?TEMPX))))		 Mid-level-ontology.kif 27620-27635
(=>
    (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 11099-11112
(=>
    (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 11058-11071
(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?T)
        (instance ?T Thermometer))
    (instance ?Q TemperatureMeasure))		 Mid-level-ontology.kif 3385-3391
(=>
    (and
        (instance ?MEASURE Measuring)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?THERMOMETER)
        (instance ?THERMOMETER Thermometer))
    (instance ?QUANTITY TemperatureMeasure))		 Mid-level-ontology.kif 3373-3379


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