Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntermittentCombustionEngine

Sigma KEE - IntermittentCombustionEngine
IntermittentCombustionEngine

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 92-94
No TPTP formula. May not be expressible in strict first order. Cars.kif 91-91 IntermittentCombustionEngine is a subclass of internal combustion engine

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 4950-4950 ChevroletEngine is a subclass of IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 5145-5145 Cosworth engine is a subclass of IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4545-4545 Eight cylinder engine is a subclass of IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4529-4529 Four cylinder engine is a subclass of IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 96-96 Four stroke engine is a subclass of IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4838-4838 Mini engine is a subclass of IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4537-4537 Six cylinder engine is a subclass of IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4521-4521 Two cylinder engine is a subclass of IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 240-240 Two stroke engine is a subclass of IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 338-338 A Crankshaft is typically a part of a IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 5166-5166 A supercharger is typically a part of a IntermittentCombustionEngine
No TPTP formula. May not be expressible in strict first order. Cars.kif 339-339 A IntermittentCombustionEngine typically has a part Crankshaft

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 4957-4957 The number 1 argument of engineDisplacement is an instance of IntermittentCombustionEngine

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 349-361
No TPTP formula. May not be expressible in strict first order. Cars.kif 280-289


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