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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TwoStrokeEngine
TwoStrokeEngine(two stroke engine)

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


(documentation TwoStrokeEngine EnglishLanguage "Engines based on the two-stroke cycle use two strokes (one up, one down) for every power stroke. Since there are no dedicated intake or exhaust strokes, alternative methods must be used to scavenge the cylinders. The most common method in spark-ignition two-strokes is to use the downward motion of the piston to pressurize fresh charge in the Crankcase, which is then blown through the Cylinder through ports in the cylinder walls. [from Wikipedia]") Cars.kif 242-249
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240 Two stroke engine is a subclass of IntermittentCombustionEngine

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


(subclass SeagullOutboard TwoStrokeEngine) Cars.kif 4717-4717 Seagull outboard is a subclass of two stroke engine
(termFormat EnglishLanguage TwoStrokeEngine "two stroke engine") Cars.kif 241-241

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


(=>
    (and
        (instance ?TSC TwoStrokeCompression)
        (eventLocated ?TSC ?E)
        (instance ?E TwoStrokeEngine))
    (exists (?C)
        (and
            (instance ?C Explosion)
            (during ?C ?TSC)
            (eventLocated ?C ?E))))
Cars.kif 491-500

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


(=>
    (instance ?F TwoStrokeEngineCycle)
    (exists (?E)
        (and
            (instance ?E TwoStrokeEngine)
            (eventLocated ?F ?E))))
Cars.kif 257-262


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