TreeView Knowledge Base Browser

appearance as argument number 1

(subclass TwoStrokeEngine IntermittentCombustionEngine)	Cars.kif 193-193	Two stroke engine is a subclass of intermittent combustion engine
(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 195-202	Two stroke engine is a subclass of intermittent combustion engine

appearance as argument number 2

(termFormat EnglishLanguage TwoStrokeEngine "two stroke engine")	Cars.kif 194-194
(subclass SeagullOutboard TwoStrokeEngine)	Cars.kif 4628-4628	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))))

If X is an instance of two stroke compression, X is located at Y, and Y is an instance of two stroke engine, then there exists Z such that Z is an instance of explosion, Z takes place during X, and Z is located at Y

consequent

(=>
    (instance ?F TwoStrokeEngineCycle)
    (exists (?E)
        (and
            (instance ?E TwoStrokeEngine)
            (eventLocated ?F ?E))))

If X is an instance of two stroke engine cycle, then there exists Y such that Y is an instance of two stroke engine and X is located at Y