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 intermittent combustion engine

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 2662-2662 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 2687-2687 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 3816-3816 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 3841-3841 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 2663-2663 A four stroke engine typically has a part exhaust valve
No TPTP formula. May not be expressible in strict first order. Cars.kif 2688-2688 A four stroke engine typically has a part intake valve
No TPTP formula. May not be expressible in strict first order. Cars.kif 3842-3842 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 3844-3864


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