InternalCombustionEngine - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 est une sous-classe de Engine

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 85-85	ContinuousCombustionEngine est une sous-classe de InternalCombustionEngine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23610-23610	DieselEngine est une sous-classe de InternalCombustionEngine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23599-23599	GasolineEngine est une sous-classe de InternalCombustionEngine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 91-91	IntermittentCombustionEngine est une sous-classe de InternalCombustionEngine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 90-90	Turbine est une sous-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

Le nombre 1 argument de engineIdleSpeed est une instance de InternalCombustionEngine

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	Objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet entit� est une instance de Fuel entit� est une instance de UnitOfVolume objet contient entit� la mesure de entit� est entit� entit�(s) EngineFlooded est un attribut de objet pendant position temporel objet a pour but entit�2 entit� entit�2 est une instance de Fuel objet contient entit�2 la mesure de entit�2 est entit� entit�(s) entit� est plus grand ou �gal � entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1904-1923	Processus est une instance de EngineCycle objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet eventLocated processus and objet entit� est une instance de UnitOfVolume maxCylinderVolume objet and nombre r�el entit�(s) pendant temps d'existence de processus nombre r�el interval temporel interval temporel prend place pendant temps d'existence de processus la mesure de objet est nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1874-1893	Processus est une instance de EngineCycle objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet eventLocated processus and objet entit� est une instance de UnitOfVolume minCylinderVolume objet and nombre r�el entit�(s) pendant temps d'existence de processus nombre r�el interval temporel interval temporel prend place pendant temps d'existence de processus la mesure de objet est nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1949-1971	Processus est une instance de EngineCycle Engine est une instance de InternalCombustionEngine objet est une instance de Piston unit� de mesure est une instance de UnitOfLength objet est une partie de Engine objet est un patient de processus eventLocated processus and Engine pistonStroke Engine and nombre r�el unit� de mesure(s) interval temporel interval temporel, physique, physique and nombre r�el interval temporel prend place pendant temps d'existence de processus interval temporel prend place pendant temps d'existence de processus objet est situ� � physique pendant interval temporel objet est situ� � physique pendant interval temporel la distance entre physique et physique est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 57-65	Physique est une instance de InternalCombustionEngine physique a pour but entit� entit� and entit� entit� est une instance de combustion entit� est une instance de d�palcement entit� est une partie de physique entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 47-55	Physique est une instance de InternalCombustionEngine physique a pour but entit� entit� entit� est une instance de Fuel entit� est une instance de combustion physique est un instrument pour entit� entit� est une resource pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1765-1773	Processus est une instance de OperatingFn InternalCombustionEngine objet en une partie trou and objet objet en une partie est une instance de InternalCombustionEngine objet en une partie est un instrument pour processus trou est un trou dans objet en une partie objet est une instance de combustion objet remplie compl�tement trou

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2221-2236	Processus est une instance de EngineCranking objet objet, objet, processus, objet and processus objet est une instance de ElectricalMotor objet est une instance de InternalCombustionEngine objet est une instance de Shaft objet est une instance de Crankshaft objet est une partie de objet processus est un sous-processus de processus processus est une instance de Rotating objet est un patient de processus processus est une instance de Rotating objet est un patient de processus objet est une partie de objet processus cause processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2758-2769	Physique est une instance de EngineFan physique a pour but entit� entit� and entit� entit� est une instance de Automobile entit� est une instance de refroidir entit� est une instance de InternalCombustionEngine entit� est une partie de entit� physique est une partie de entit� physique est un instrument pour entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1765-1773	Processus est une instance de OperatingFn InternalCombustionEngine objet en une partie trou and objet objet en une partie est une instance de InternalCombustionEngine objet en une partie est un instrument pour processus trou est un trou dans objet en une partie objet est une instance de combustion objet remplie compl�tement trou
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3961-3969	Physique est une instance de StarterMotor physique a pour but entit� entit� and entit� entit� est une instance de InternalCombustionEngine physique est un instrument pour entit� entit� est un instrument pour entit� entit� cause entit�

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