CombustionChamber - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CombustionChamber

CombustionChamber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1703-1704
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1701-1701	CombustionChamber e' uma sub-classe de Aparelho

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1713-1713	CatalyticConverter e' uma sub-classe de CombustionChamber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1702-1702

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2794-2813	Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto Entidade e' uma instancia de Fuel Entidade e' uma instancia de UnitOfVolume Objeto contem Entidade a medida de Entidade e' Entidade Entidade(s) EngineFlooded e' um atributo de Objeto vale durante Posicao Temporal Objeto tem por fim Entidade2 Entidade Entidade2 e' uma instancia de Fuel Objeto contem Entidade2 a medida de Entidade2 e' Entidade Entidade(s) Entidade e' maior ou igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1881-1900	Processo e' uma instancia de EngineCycle Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto eventLocated Processo and Objeto Entidade e' uma instancia de UnitOfVolume maxCylinderVolume Objeto and Numero Real Entidade(s) vale durante tempo de existencia de Processo Numero Real Intervalo Temporal Intervalo Temporal acontece durante tempo de existencia de Processo a medida de Objeto e' Numero Real Entidade(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1851-1870	Processo e' uma instancia de EngineCycle Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto eventLocated Processo and Objeto Entidade e' uma instancia de UnitOfVolume minCylinderVolume Objeto and Numero Real Entidade(s) vale durante tempo de existencia de Processo Numero Real Intervalo Temporal Intervalo Temporal acontece durante tempo de existencia de Processo a medida de Objeto e' Numero Real Entidade(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1706-1711	Objeto e' uma instancia de CombustionChamber Buraco Buraco e' uma instancia de Buraco Objeto e' igual a o dono do buraco Buraco

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2673-2686	Fisico e' uma instancia de IntakeValve Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de FuelVapor Entidade e' uma instancia de CombustionChamber Entidade e' uma instancia de Transferencia Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' um patient de Entidade Fisico e' o caminho ao longo do qual Entidade ocorre Entidade termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3803-3819	Fisico e' uma instancia de PositiveCrankcaseVentilationValve Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Crankcase Entidade e' uma instancia de Fuel Entidade e' uma instancia de CombustionChamber Entidade e' uma instancia de Transferencia Entidade e' uma instancia de Automobile Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Entidade tem como origem Entidade Entidade termina em Entidade objectTransferred Entidade and Entidade Fisico e' o caminho ao longo do qual Entidade ocorre

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