TemperatureMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2415-2416
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6292-6294
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1102-1103
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6290-6290	Medida de Temperatura e' uma sub-classe de Quantidade Constante

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1307-1307
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1831-1831
No TPTP formula. May not be expressible in strict first order.	french_format.kif 985-985
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 520-520
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 524-524
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2669-2669
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 937-937
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 526-526
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 560-560
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 1006-1006
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 525-525

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25707-25707	O argumento numero 2 de airTemperature e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	Weather.kif 971-971	O argumento numero 3 de averageTemperatureForPeriod e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13840-13840	O argumento numero 2 de boilingPoint e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 507-507	O argumento numero 2 de coreBodyTemp e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	Weather.kif 983-983	O argumento numero 3 de highestTemperatureForPeriod e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	Weather.kif 995-995	O argumento numero 3 de lowestTemperatureForPeriod e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3621-3621	O argumento numero 2 de maxDeviceOperatingTemp e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3649-3649	O argumento numero 2 de maxDeviceStorageTemp e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13904-13904	O argumento numero 2 de meltingPoint e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3674-3674	O argumento numero 2 de minDeviceOperatingTemp e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3699-3699	O argumento numero 2 de minDeviceStorageTemp e' uma instancia de Medida de Temperatura

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 4066-4098

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25720-25729	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6383-6387	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25755-25770	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10995-11008	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10954-10967	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2915-2921	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2903-2909	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: