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	Two stroke engine is a subclass of intermittent combustion engine

appearance as argument number 2

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

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