TreeView Knowledge Base Browser - CombustionChamber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

CombustionChamber

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1713-1713	CatalyticConverter est une sous-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 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 1706-1711	Objet est une instance de CombustionChamber trou trou est une instance de trou objet est h�te du trou trou

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2696-2709	Physique est une instance de IntakeValve physique a pour but entit� entit�, entit� and entit� entit� est une instance de Automobile entit� est une instance de FuelVapor entit� est une instance de CombustionChamber entit� est une instance de transf�re physique est une partie de entit� entit� est une partie de entit� entit� est un patient de entit� physique est le chemin le long duquel entit� se produit entit� aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3826-3842	Physique est une instance de PositiveCrankcaseVentilationValve physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de Crankcase entit� est une instance de Fuel entit� est une instance de CombustionChamber entit� est une instance de transf�re entit� est une instance de Automobile entit� est une partie de entit� entit� est une partie de entit� physique est une partie de entit� entit� a pour origine entit� entit� aboutit � entit� objectTransferred entit� and entit� physique est le chemin le long duquel entit� se produit

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