|
|
   FourStrokeCombustion
|
|
|
| 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 |
|
|
| (termFormat EnglishLanguage FourStrokeCombustion "four stroke combustion") | 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 |
|
|
|