| 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 5943-5945 | |
| (subclass TemperatureMeasure ConstantQuantity) | Merge.kif 5941-5941 |
| 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 23605-23605 | |
| (domain averageTemperatureForPeriod 3 TemperatureMeasure) | Weather.kif 598-598 | |
| (domain boilingPoint 2 TemperatureMeasure) | Merge.kif 12753-12753 | |
| (domain highestTemperatureForPeriod 3 TemperatureMeasure) | Weather.kif 610-610 | |
| (domain lowestTemperatureForPeriod 3 TemperatureMeasure) | Weather.kif 622-622 | |
| (domain maxDeviceOperatingTemp 2 TemperatureMeasure) | ComputingBrands.kif 3613-3613 | |
| (domain maxDeviceStorageTemp 2 TemperatureMeasure) | ComputingBrands.kif 3638-3638 | |
| (domain meltingPoint 2 TemperatureMeasure) | Merge.kif 12817-12817 | |
| (domain minDeviceOperatingTemp 2 TemperatureMeasure) | ComputingBrands.kif 3660-3660 | |
| (domain minDeviceStorageTemp 2 TemperatureMeasure) | ComputingBrands.kif 3682-3682 |
| 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 23619-23628 | |
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfTemperature)) (instance ?QUANT TemperatureMeasure)) |
Merge.kif 6034-6038 | |
| (=> (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 23654-23666 | |
| (=> (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 10198-10211 | |
| (=> (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 10157-10170 | |
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 3402-3408 | |
| (=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 3390-3396 |
|
|
|