TwoStrokeCompression - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TwoStrokeCompression Motion)	Cars.kif 438-438	Two stroke compression is a subclass of motion
(documentation TwoStrokeCompression EnglishLanguage "The portion of a two stroke engine cycle where combustion occurs, forcing the piston out of the combustion chamber, and the fuel mixture is compressed in the crankcase.")	Cars.kif 440-442	Two stroke compression is a subclass of motion

appearance as argument number 2

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 ?T TwoStrokeEngineCycle)
    (exists (?I ?C ?TT ?I2)
        (and
            (instance ?I TwoStrokeIntake)
            (instance ?C TwoStrokeCompression)
            (instance ?TT TwoStrokeTransfer)
            (instance ?I2 TwoStrokeIntake)
            (subProcess ?I ?T)
            (subProcess ?C ?T)
            (subProcess ?TT ?T)
            (subProcess ?I2 ?T)
            (meetsTemporally ?I ?C)
            (meetsTemporally ?C ?TT)
            (meetsTemporally ?TT ?I2))))

If X is an instance of two stroke engine cycle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of two stroke intake (3) Z is an instance of two stroke compression (4) W is an instance of two stroke transfer (5) V is an instance of two stroke intake (6) Y is a subprocess of X (7) Z is a subprocess of X (8) W is a subprocess of X (9) V is a subprocess of X (10) Y meets Z (11) Z meets W (12) W meets V