TreeView Knowledge Base Browser - InternalCombustionEngine

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

InternalCombustionEngine

Sigma KEE - InternalCombustionEngine

InternalCombustionEngine

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1761-1763
No TPTP formula. May not be expressible in strict first order.	Cars.kif 27-45
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4976-4976
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4977-4977
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4975-4975
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1760-1760	InternalCombustionEngine e' uma sub-classe de Engine

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 85-85	ContinuousCombustionEngine e' uma sub-classe de InternalCombustionEngine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23610-23610	DieselEngine e' uma sub-classe de InternalCombustionEngine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23599-23599	GasolineEngine e' uma sub-classe de InternalCombustionEngine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 91-91	IntermittentCombustionEngine e' uma sub-classe de InternalCombustionEngine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 90-90	Turbine e' uma sub-classe de InternalCombustionEngine
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30469-30469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30468-30468
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30467-30467
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3328-3328	typicalPart OilPan and InternalCombustionEngine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3329-3329	typicallyContainsPart OilPan and InternalCombustionEngine

appearance as argument number 3

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

Cars.kif 2564-2564

O argumento numero 1 de engineIdleSpeed e' uma instancia de InternalCombustionEngine

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	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 1904-1923	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 1874-1893	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 1949-1971	Processo e' uma instancia de EngineCycle Engine e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de Piston Unidade de Medida e' uma instancia de UnitOfLength Objeto e' uma &parte de Engine Objeto e' um patient de Processo eventLocated Processo and Engine pistonStroke Engine and Numero Real Unidade de Medida(s) Intervalo Temporal Intervalo Temporal, Fisico, Fisico and Numero Real Intervalo Temporal acontece durante tempo de existencia de Processo Intervalo Temporal acontece durante tempo de existencia de Processo Objeto e' situado em Fisico vale durante Intervalo Temporal Objeto e' situado em Fisico vale durante Intervalo Temporal a distancia entre Fisico e Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 57-65	Fisico e' uma instancia de InternalCombustionEngine Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Combustao Entidade e' uma instancia de Movimento Entidade e' uma &parte de Fisico Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 47-55	Fisico e' uma instancia de InternalCombustionEngine Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Fuel Entidade e' uma instancia de Combustao Fisico e' um instrumento para Entidade Entidade e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1765-1773	Processo e' uma instancia de OperatingFn InternalCombustionEngine Objeto auto-conectado Buraco and Objeto Objeto auto-conectado e' uma instancia de InternalCombustionEngine Objeto auto-conectado e' um instrumento para Processo Buraco e' um buraco dans Objeto auto-conectado Objeto e' uma instancia de Combustao Objeto completa completemente Buraco

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2221-2236	Processo e' uma instancia de EngineCranking Objeto Objeto, Objeto, Processo, Objeto and Processo Objeto e' uma instancia de ElectricalMotor Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de Shaft Objeto e' uma instancia de Crankshaft Objeto e' uma &parte de Objeto Processo e' um sub-processo de Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Objeto e' uma &parte de Objeto Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2758-2769	Fisico e' uma instancia de EngineFan Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Resfriar Entidade e' uma instancia de InternalCombustionEngine Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1765-1773	Processo e' uma instancia de OperatingFn InternalCombustionEngine Objeto auto-conectado Buraco and Objeto Objeto auto-conectado e' uma instancia de InternalCombustionEngine Objeto auto-conectado e' um instrumento para Processo Buraco e' um buraco dans Objeto auto-conectado Objeto e' uma instancia de Combustao Objeto completa completemente Buraco
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3961-3969	Fisico e' uma instancia de StarterMotor Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de InternalCombustionEngine Fisico e' um instrumento para Entidade Entidade e' um instrumento para Entidade Entidade causa Entidade

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