FourStrokeCombustion - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FourStrokeCombustion EnglishLanguage "In this cycle of a four stroke engine, fuel combusts and piston is pushed downwards.")	Cars.kif 204-205
(subclass FourStrokeCombustion Motion)	Cars.kif 202-202

appearance as argument number 2

Cars.kif 203-203

antecedent

(=>
    (and
        (instance ?F FourStrokeCombustion)
        (instance ?C EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (equal ?C
            (HoleHostFn ?I))
        (eventLocated ?F ?C))
    (exists (?CO)
        (and
            (instance ?CO Combustion)
            (subProcess ?CO ?F))))

Cars.kif 207-217

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