TemperatureMeasure - Sigma Knowledge base Browser

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 5953-5955
(subclass TemperatureMeasure ConstantQuantity)	Merge.kif 5951-5951	subclass TemperatureMeasure and ConstantQuantity

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 23657-23657	domain airTemperature, 2 and TemperatureMeasure
(domain averageTemperatureForPeriod 3 TemperatureMeasure)	Weather.kif 598-598	domain averageTemperatureForPeriod, 3 and TemperatureMeasure
(domain boilingPoint 2 TemperatureMeasure)	Merge.kif 12763-12763	domain boilingPoint, 2 and TemperatureMeasure
(domain highestTemperatureForPeriod 3 TemperatureMeasure)	Weather.kif 610-610	domain highestTemperatureForPeriod, 3 and TemperatureMeasure
(domain lowestTemperatureForPeriod 3 TemperatureMeasure)	Weather.kif 622-622	domain lowestTemperatureForPeriod, 3 and TemperatureMeasure
(domain maxDeviceOperatingTemp 2 TemperatureMeasure)	ComputingBrands.kif 3613-3613	domain maxDeviceOperatingTemp, 2 and TemperatureMeasure
(domain maxDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3638-3638	domain maxDeviceStorageTemp, 2 and TemperatureMeasure
(domain meltingPoint 2 TemperatureMeasure)	Merge.kif 12827-12827	domain meltingPoint, 2 and TemperatureMeasure
(domain minDeviceOperatingTemp 2 TemperatureMeasure)	ComputingBrands.kif 3660-3660	domain minDeviceOperatingTemp, 2 and TemperatureMeasure
(domain minDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3682-3682	domain 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 4054-4086

instance Object and BimetalTemperatureSensor instance Object and Metal instance Object and Metal equal Object and Object part Object and Object part Object and Object instance Entity and TemperatureMeasure instance Entity and TemperatureMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure equal Entity and Entity equal TimePosition and TimePosition holdsDuring TimePosition and measure Object and Entity measure Object and Quantity measure Object and Quantity holdsDuring TimePosition and measure Object and Entity measure Object and Quantity measure Object and Quantity
equal DivisionFn Quantity and Quantity and DivisionFn Quantity and Quantity

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 23671-23680	attribute Object and Attribute instance Attribute and TemperatureAttribute instance Object and Object Object measure Object and Object instance Object and TemperatureMeasure attribute Object and Attribute
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfTemperature)) (instance ?QUANT TemperatureMeasure))	Merge.kif 6044-6048	equal MeasureFn RealNumber and UnitOfMeasure and PhysicalQuantity instance UnitOfMeasure and UnitOfTemperature instance PhysicalQuantity and TemperatureMeasure
(=> (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 23706-23718	immediateInstance Object and Entity immediateInstance Object and Entity attribute Object and ColdTemperature attribute Object and HotTemperature PhysicalQuantity PhysicalQuantity measure Object and PhysicalQuantity instance PhysicalQuantity and TemperatureMeasure measure Object and PhysicalQuantity instance PhysicalQuantity and TemperatureMeasure greaterThan PhysicalQuantity and PhysicalQuantity
(=> (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 10208-10221	instance Process and Cooling patient Process and Entity Entity Quantity and Quantity instance Entity and TemperatureMeasure holdsDuring BeginFn WhenFn Process and equal MeasureFn Entity and Entity and Quantity holdsDuring EndFn WhenFn Process and equal MeasureFn Entity and Entity and Quantity lessThan Quantity and Quantity
(=> (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 10167-10180	instance Process and Heating patient Process and Entity Entity Quantity and Quantity instance Entity and TemperatureMeasure holdsDuring BeginFn WhenFn Process and equal MeasureFn Entity and Entity and Quantity holdsDuring EndFn WhenFn Process and equal MeasureFn Entity and Entity and Quantity greaterThan Quantity and Quantity
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure))	Mid-level-ontology.kif 3408-3414	instance Process and Measuring result Process and Entity instrument Process and Object instance Object and Thermometer instance Entity and TemperatureMeasure
(=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure))	Mid-level-ontology.kif 3396-3402	instance Process and Measuring result Process and Entity instrument Process and Object instance Object and Thermometer instance Entity and TemperatureMeasure

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: