TwoStrokeIntake - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TwoStrokeIntake Motion)	Cars.kif 410-410	Two stroke intake is a subclass of motion
(documentation TwoStrokeIntake EnglishLanguage "The portion of a two stroke engine cycle where the piston moves into the combustion chamber creating a partial vacuum in the crankcase that draws fuel into the crankcase.")	Cars.kif 412-414	Two stroke intake is a subclass of motion

appearance as argument number 2

antecedent

(=> (and (instance ?E EngineCylinder) (instance ?I InternalCombustionChamber) (instance ?P Piston) (instance ?T TwoStrokeIntake) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?I)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?I))))	Cars.kif 416-428	If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of internal combustion chamber (3) Z is an instance of piston (4) W is an instance of two stroke intake (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W
(=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum)))	Cars.kif 430-436	If X is an instance of two stroke intake, Y is an instance of crankcase, and X is partly located at Y, then partial vacuum is an attribute of Y holds during X

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