TemperatureMeasure - Sigma Knowledge base Browser

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

オブジェクトは BimetalTemperatureSensor の instance では %n オブジェクトは金属の instance では %n オブジェクトは金属の instance では %n オブジェクトはオブジェクトと equal ではオブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの part では %n エンティティーは温度測定の instance では %n エンティティーは温度測定の instance では %n 量は長さ測定の instance では %n 量は長さ測定の instance では %n 量は長さ測定の instance では %n 量は長さ測定の instance では %n エンティティーはエンティティーと equal ではオブジェクトの measure はエンティティーでは %n オブジェクトの measure は量では %n オブジェクトの measure は量では %n は時間位置の during holds %n{ない} オブジェクトの measure はエンティティーでは %n オブジェクトの measure は量では %n オブジェクトの measure は量では %n は時間位置の during holds %n{ない}
量 + 量は量 + 量と equal では

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	エンティティーはオブジェクトの attribute では %n エンティティーは TemperatureAttribute の instance では %n オブジェクトはオブジェクトの instance では %n オブジェクトオブジェクトの measure はオブジェクトでは %n オブジェクトは温度測定の instance では %n エンティティーはオブジェクトの attribute では %n
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfTemperature)) (instance ?QUANT TemperatureMeasure))	Merge.kif 9211-9215	実数の測定単位(s) は物理量と equal では %n 測定単位は UnitOfTemperature の instance では %n 物理量は温度測定の instance では %n
(=> (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	オブジェクトはエンティティーの immediate のインスタンスでは %n オブジェクトはエンティティーの immediate のインスタンスでは %n ColdTemperature はオブジェクトの attribute では %n HotTemperature はオブジェクトの attribute では %n 物理量物理量オブジェクトの measure は物理量では %n 物理量は温度測定の instance では %n オブジェクトの measure は物理量では %n 物理量は温度測定の instance では %n 物理量は物理量より greater では　%n
(=> (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	工程は冷却の instance では %n エンティティーは工程の patient では %n エンティティー量 and 量エンティティーは温度測定の instance では %n エンティティーのエンティティー(s) は量と equal では %n は工程の time の existence の beginning の during holds %n{ない} エンティティーのエンティティー(s) は量と equal では %n は工程の time の existence の end の during holds %n{ない} 量は量より less では %n
(=> (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	工程は加熱の instance では %n エンティティーは工程の patient では %n エンティティー量 and 量エンティティーは温度測定の instance では %n エンティティーのエンティティー(s) は量と equal では %n は工程の time の existence の beginning の during holds %n{ない} エンティティーのエンティティー(s) は量と equal では %n は工程の time の existence の end の during holds %n{ない} 量は量より greater では　%n
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure))	Mid-level-ontology.kif 3406-3412	工程は計測の instance では %n エンティティーは工程の result では %n オブジェクトは工程の instrument では %n オブジェクトは Thermometer の instance では %n エンティティーは温度測定の instance では %n
(=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure))	Mid-level-ontology.kif 3394-3400	工程は計測の instance では %n エンティティーは工程の result では %n オブジェクトは工程の instrument では %n オブジェクトは Thermometer の instance では %n エンティティーは温度測定の instance では %n

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

KB Term:			Term intersection

English Word: