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 5976-5978
(subclass TemperatureMeasure ConstantQuantity)	Merge.kif 5974-5974	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 23630-23630	domain airTemperature, 2 and TemperatureMeasure
(domain averageTemperatureForPeriod 3 TemperatureMeasure)	Weather.kif 598-598	domain averageTemperatureForPeriod, 3 and TemperatureMeasure
(domain boilingPoint 2 TemperatureMeasure)	Merge.kif 12780-12780	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 3608-3608	domain maxDeviceOperatingTemp, 2 and TemperatureMeasure
(domain maxDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3633-3633	domain maxDeviceStorageTemp, 2 and TemperatureMeasure
(domain meltingPoint 2 TemperatureMeasure)	Merge.kif 12844-12844	domain meltingPoint, 2 and TemperatureMeasure
(domain minDeviceOperatingTemp 2 TemperatureMeasure)	ComputingBrands.kif 3655-3655	domain minDeviceOperatingTemp, 2 and TemperatureMeasure
(domain minDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3677-3677	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 4055-4087

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 23644-23653	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 6067-6071	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 23679-23691	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 10231-10244	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 10190-10203	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: