FourStrokeCombustion(four stroke combustion) |
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 | Four stroke combustion is a subclass of motion |
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 |