TwoStrokeIntake - Sigma Knowledge base Browser

appearance as argument number 1

(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 459-461
(subclass TwoStrokeIntake Motion)	Cars.kif 457-457	Two stroke intake is a subclass of motion

appearance as argument number 2

Cars.kif 458-458

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 463-475	If an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and a physical is an instance of piston and a process is an instance of two stroke intake and the physical is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at the object, then the physical has the purpose the physical partially fills the hole holds during the process
(=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum)))	Cars.kif 477-483	If a process is an instance of two stroke intake and an object is an instance of crankcase and the process is partly located at the object, then partial vacuum is an attribute of the object holds during the process

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))))

Cars.kif 264-278