TwoStrokeEngine - Sigma Knowledge base Browser

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

appearance as argument number 2

(subclass SeagullOutboard TwoStrokeEngine)	Cars.kif 4796-4796
(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