EngineCycle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - EngineCycle

EngineCycle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 81-83
No TPTP formula. May not be expressible in strict first order.	Cars.kif 80-80	EngineCycle est une sous-classe de d�palcement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 134-134	FourStrokeEngineCycle est une sous-classe de EngineCycle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 251-251	TwoStrokeEngineCycle est une sous-classe de EngineCycle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64824-64824

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1881-1900	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 1851-1870	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 1926-1948	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

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