FourStrokeExhaust - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FourStrokeExhaust EnglishLanguage "In this cycle of a four stroke engine, exhaust is driven out. During the 1st, 2nd, and 4th stroke the piston is relying on power and the momentum generated by the other pistons.")	Cars.kif 221-223
(subclass FourStrokeExhaust Motion)	Cars.kif 219-219

appearance as argument number 2

Cars.kif 220-220

antecedent

(=>
    (and
        (instance ?F FourStrokeExhaust)
        (instance ?C EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (equal ?C
            (HoleHostFn ?I))
        (eventLocated ?F ?C))
    (exists (?E ?M)
        (and
            (instance ?M GasMotion)
            (instance ?E Exhaust)
            (subProcess ?M ?F)
            (origin ?M ?I)
            (patient ?M ?E))))

Cars.kif 225-238

consequent

(=> (instance ?FSE FourStrokeEngine) (hasPurpose ?FSE (exists (?I ?CM ?CB ?E ?I2) (and (instance ?I FourStrokeIntake) (instance ?CM FourStrokeCompression) (instance ?CB FourStrokeCombustion) (instance ?E FourStrokeExhaust) (instance ?I2 FourStrokeIntake) (eventLocated ?I ?FSE) (eventLocated ?CM ?FSE) (eventLocated ?CB ?FSE) (eventLocated ?E ?FSE) (eventLocated ?I2 ?FSE) (meetsTemporally ?I ?CM) (meetsTemporally ?CM ?CB) (meetsTemporally ?CB ?E) (meetsTemporally ?E ?I2)))))	Cars.kif 114-132
(=> (instance ?FSE FourStrokeEngineCycle) (exists (?I ?CM ?CB ?E ?I2) (and (instance ?I FourStrokeIntake) (instance ?CM FourStrokeCompression) (instance ?CB FourStrokeCombustion) (instance ?E FourStrokeExhaust) (instance ?I2 FourStrokeIntake) (subProcess ?I ?FSE) (subProcess ?CM ?FSE) (subProcess ?CB ?FSE) (subProcess ?E ?FSE) (subProcess ?I2 ?FSE) (meetsTemporally ?I ?CM) (meetsTemporally ?CM ?CB) (meetsTemporally ?CB ?E) (meetsTemporally ?E ?I2))))	Cars.kif 147-164