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

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 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 25674-25674	域氣溫, 2 and TemperatureMeasure
(domain averageTemperatureForPeriod 3 TemperatureMeasure)	Weather.kif 987-987	域期間平均溫度, 3 and TemperatureMeasure
(domain boilingPoint 2 TemperatureMeasure)	Merge.kif 13794-13794	域沸點, 2 and TemperatureMeasure
(domain coreBodyTemp 2 TemperatureMeasure)	Medicine.kif 507-507	域 coreBodyTemp, 2 and TemperatureMeasure
(domain highestTemperatureForPeriod 3 TemperatureMeasure)	Weather.kif 999-999	域期間最高溫度, 3 and TemperatureMeasure
(domain lowestTemperatureForPeriod 3 TemperatureMeasure)	Weather.kif 1011-1011	域期間最低溫度, 3 and TemperatureMeasure
(domain maxDeviceOperatingTemp 2 TemperatureMeasure)	ComputingBrands.kif 3621-3621	域 maxDeviceOperatingTemp, 2 and TemperatureMeasure
(domain maxDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3649-3649	域 maxDeviceStorageTemp, 2 and TemperatureMeasure
(domain meltingPoint 2 TemperatureMeasure)	Merge.kif 13858-13858	域熔點, 2 and TemperatureMeasure
(domain minDeviceOperatingTemp 2 TemperatureMeasure)	ComputingBrands.kif 3674-3674	域 minDeviceOperatingTemp, 2 and TemperatureMeasure
(domain minDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3699-3699	域 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 4081-4113

例 Object and BimetalTemperatureSensor 例 Object and Metal 例 Object and Metal 等於 Object and Object 部分 Object and Object 部分 Object and Object 例 Entity and TemperatureMeasure 例 Entity and TemperatureMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 等於 Entity and Entity 等於 TimePosition and TimePosition 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber
等於部 RealNumber and RealNumber and 部 RealNumber and RealNumber

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 25687-25696	attribute Object and Attribute 例 Attribute and TemperatureAttribute 例 Object and Object Object 測量 Object and Object 例 Object and TemperatureMeasure attribute Object and Attribute
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfTemperature)) (instance ?QUANT TemperatureMeasure))	Merge.kif 6382-6386	等於測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfTemperature 例 PhysicalQuantity and TemperatureMeasure
(=> (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 25722-25737	立即實例 Object and Class 立即實例 Object and Class attribute Object and ColdTemperature attribute Object and HotTemperature RealNumber RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 例 RealNumber and TemperatureMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and TemperatureMeasure 比較多 RealNumber and RealNumber
(=> (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 10961-10974	例 Process and Cooling 患者 Process and Entity Entity RealNumber and RealNumber 例 Entity and TemperatureMeasure 持有期間開始何時 Process and 等於測量 Entity and Entity and RealNumber 持有期間結束何時 Process and 等於測量 Entity and Entity and RealNumber 少於 RealNumber and RealNumber
(=> (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 10920-10933	例 Process and Heating 患者 Process and Entity Entity RealNumber and RealNumber 例 Entity and TemperatureMeasure 持有期間開始何時 Process and 等於測量 Entity and Entity and RealNumber 持有期間結束何時 Process and 等於測量 Entity and Entity and RealNumber 比較多 RealNumber and RealNumber
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure))	Mid-level-ontology.kif 2922-2928	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 溫度計例 Entity and TemperatureMeasure
(=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure))	Mid-level-ontology.kif 2910-2916	例 Process and Measuring 結果 Process and Entity 儀器 Process and Object 例 Object and 溫度計例 Entity and TemperatureMeasure

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: