TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2417-2418
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6298-6300
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1104-1106
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6296-6296	UnitOfTemperature e' uma sub-classe de NonCompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7002-7002	CelsiusDegree e' uma instancia de UnitOfTemperature
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7321-7321	FahrenheitDegree e' uma instancia de UnitOfTemperature
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6733-6733	KelvinDegree e' uma instancia de UnitOfTemperature
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7311-7311	RankineDegree e' uma instancia de UnitOfTemperature
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65663-65663

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13887-13900	boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) Entidade e' uma instancia de Substancia Pura a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' maior ou igual a Numero Real Gas e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Ferver Entidade e' um patient de Processo
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.	Merge.kif 13877-13885	Processo e' uma instancia de Ferver boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) Entidade e' uma instancia de Substancia Pura Entidade e' um patient de Processo a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante tempo de existencia de Processo Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13999-14012	Processo e' uma instancia de Evaporating boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) Objeto e' uma instancia de Substancia Pura a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfTemperature Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Numero Real e' maior que Numero Real Liquid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Gas e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13909-13924	Entidade e' uma instancia de Substancia Pura boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) meltingPoint Substancia Pura and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfTemperature a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real Numero Real e' menos que Numero Real Liquid e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Derreter Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13926-13939	Entidade e' uma instancia de Substancia Pura meltingPoint Substancia Pura and Numero Real Unidade de Medida(s) a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' menos que Numero Real Solid e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Congelar Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3629-3642	maxDeviceOperatingTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOn e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' maior que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3657-3670	maxDeviceStorageTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOff e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' maior que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3682-3695	minDeviceOperatingTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOn e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' menos que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3708-3721	minDeviceStorageTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOff e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' menos que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely

consequent

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: