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 6291-6293
(documentation TemperatureMeasure JapaneseLanguage "温度の測定。科学界では、何かの温度は、物事を構成する原子や分子の平均速度として理解されている。")	japanese_format.kif 1102-1103
(subclass TemperatureMeasure ConstantQuantity)	Merge.kif 6289-6289	Medida de Temperatura e' uma sub-classe de Quantidade Constante

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	O argumento numero 2 de airTemperature e' uma instancia de Medida de Temperatura
(domain averageTemperatureForPeriod 3 TemperatureMeasure)	Weather.kif 987-987	O argumento numero 3 de averageTemperatureForPeriod e' uma instancia de Medida de Temperatura
(domain boilingPoint 2 TemperatureMeasure)	Merge.kif 13794-13794	O argumento numero 2 de boilingPoint e' uma instancia de Medida de Temperatura
(domain coreBodyTemp 2 TemperatureMeasure)	Medicine.kif 507-507	O argumento numero 2 de coreBodyTemp e' uma instancia de Medida de Temperatura
(domain highestTemperatureForPeriod 3 TemperatureMeasure)	Weather.kif 999-999	O argumento numero 3 de highestTemperatureForPeriod e' uma instancia de Medida de Temperatura
(domain lowestTemperatureForPeriod 3 TemperatureMeasure)	Weather.kif 1011-1011	O argumento numero 3 de lowestTemperatureForPeriod e' uma instancia de Medida de Temperatura
(domain maxDeviceOperatingTemp 2 TemperatureMeasure)	ComputingBrands.kif 3621-3621	O argumento numero 2 de maxDeviceOperatingTemp e' uma instancia de Medida de Temperatura
(domain maxDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3649-3649	O argumento numero 2 de maxDeviceStorageTemp e' uma instancia de Medida de Temperatura
(domain meltingPoint 2 TemperatureMeasure)	Merge.kif 13858-13858	O argumento numero 2 de meltingPoint e' uma instancia de Medida de Temperatura
(domain minDeviceOperatingTemp 2 TemperatureMeasure)	ComputingBrands.kif 3674-3674	O argumento numero 2 de minDeviceOperatingTemp e' uma instancia de Medida de Temperatura
(domain minDeviceStorageTemp 2 TemperatureMeasure)	ComputingBrands.kif 3699-3699	O argumento numero 2 de minDeviceStorageTemp e' uma instancia de Medida de Temperatura

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

Objeto e' uma instancia de BimetalTemperatureSensor Objeto e' uma instancia de Metal Objeto e' uma instancia de Metal Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Entidade e' uma instancia de Medida de Temperatura Entidade e' uma instancia de Medida de Temperatura Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Entidade e' igual a Entidade Posicao Temporal e' igual a Posicao Temporal a medida de Objeto e' Entidade a medida de Objeto e' Numero Real a medida de Objeto e' Numero Real vale durante Posicao Temporal a medida de Objeto e' Entidade a medida de Objeto e' Numero Real a medida de Objeto e' Numero Real vale durante Posicao Temporal
Numero Real + Numero Real e' igual a Numero Real + Numero Real

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	Atributo e' um atributo de Objeto Atributo e' uma instancia de TemperatureAttribute Objeto e' uma instancia de Objeto Objeto a medida de Objeto e' Objeto Objeto e' uma instancia de Medida de Temperatura Atributo e' um atributo de Objeto
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfTemperature)) (instance ?QUANT TemperatureMeasure))	Merge.kif 6382-6386	Numero Real Unidade de Medida(s) e' igual a Quantidade Fisica Unidade de Medida e' uma instancia de UnitOfTemperature Quantidade Fisica e' uma instancia de Medida de Temperatura
(=> (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	Objeto e' uma instancia imediata de Classe Objeto e' uma instancia imediata de Classe ColdTemperature e' um atributo de Objeto HotTemperature e' um atributo de Objeto Numero Real Numero Real and Unidade de Medida a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' uma instancia de Medida de Temperatura a medida de Objeto e' Numero Real Unidade de Medida(s) Numero Real e' uma instancia de Medida de Temperatura Numero Real e' maior que Numero Real
(=> (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	Processo e' uma instancia de Resfriar Entidade e' um patient de Processo Entidade Numero Real and Numero Real Entidade e' uma instancia de Medida de Temperatura Entidade Entidade(s) e' igual a Numero Real vale durante o comeco de tempo de existencia de Processo Entidade Entidade(s) e' igual a Numero Real vale durante o fim de tempo de existencia de Processo Numero Real e' menos que Numero Real
(=> (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	Processo e' uma instancia de Aquecer Entidade e' um patient de Processo Entidade Numero Real and Numero Real Entidade e' uma instancia de Medida de Temperatura Entidade Entidade(s) e' igual a Numero Real vale durante o comeco de tempo de existencia de Processo Entidade Entidade(s) e' igual a Numero Real vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure))	Mid-level-ontology.kif 2922-2928	Processo e' uma instancia de Medir Entidade e' o resultado de Processo Objeto e' um instrumento para Processo Objeto e' uma instancia de Thermometer Entidade e' uma instancia de Medida de Temperatura
(=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure))	Mid-level-ontology.kif 2910-2916	Processo e' uma instancia de Medir Entidade e' o resultado de Processo Objeto e' um instrumento para Processo Objeto e' uma instancia de Thermometer Entidade e' uma instancia de Medida de Temperatura

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: