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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FourStrokeEngine

Sigma KEE - FourStrokeEngine
FourStrokeEngine(four stroke engine)

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 99-105
No TPTP formula. May not be expressible in strict first order. Cars.kif 97-97
No TPTP formula. May not be expressible in strict first order. Cars.kif 96-96 Four stroke engine is a subclass of IntermittentCombustionEngine

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 98-98
No TPTP formula. May not be expressible in strict first order. Cars.kif 2647-2647 A exhaust valve is typically a part of a four stroke engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 2672-2672 A intake valve is typically a part of a four stroke engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 3790-3790 A positive crankcase ventilation valve is typically a part of a four stroke engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 3815-3815 A rocker arm is typically a part of a four stroke engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 2648-2648 A four stroke engine typically has a part exhaust valve
No TPTP formula. May not be expressible in strict first order. Cars.kif 2673-2673 A four stroke engine typically has a part intake valve
No TPTP formula. May not be expressible in strict first order. Cars.kif 3816-3816 A four stroke engine typically has a part rocker arm

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 107-112
No TPTP formula. May not be expressible in strict first order. Cars.kif 114-132

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 140-145
No TPTP formula. May not be expressible in strict first order. Cars.kif 3818-3838


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