TwoStrokeTransfer - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TwoStrokeTransfer Motion)	Cars.kif 502-502	Two stroke transfer is a subclass of motion
(documentation TwoStrokeTransfer EnglishLanguage "The portion of a two stroke engine cycle where the combustion chamber is opened to the crankcase and the exhaust. This allows the exhaust to vent, and the pressurized fuel mixture to enter the combustion chamber. The piston is most fully removed from the combustion chamber at this point.")	Cars.kif 504-507	Two stroke transfer is a subclass of motion

appearance as argument number 2

antecedent

(=> (and (instance ?E EngineCylinder) (instance ?C Crankcase) (instance ?P Piston) (instance ?T TwoStrokeTransfer) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?C)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?C))))	Cars.kif 509-521	If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of crankcase (3) Z is an instance of piston (4) W is an instance of two stroke transfer (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 ?T TwoStrokeTransfer) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?T ?C)) (exists (?E ?M) (and (instance ?M GasMotion) (instance ?E Exhaust) (subProcess ?M ?T) (origin ?M ?I) (patient ?M ?E))))	Cars.kif 523-536	If X is an instance of two stroke transfer, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of exhaust, V is a subprocess of X, V originates at Z, and W is a patient of V

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