FourStrokeIntake
|
|
appearance as argument number 1 |
(documentation FourStrokeIntake EnglishLanguage "In this cycle of a four stroke engine, air and vaporized fuel are drawn in.") | Cars.kif 168-169 | |
(subclass FourStrokeIntake Motion) | Cars.kif 166-166 | FourStrokeIntake 是 运动 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage FourStrokeIntake "four stroke intake") | Cars.kif 167-167 |
antecedent |
(=> (and (instance ?F FourStrokeIntake) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?FV ?M) (and (instance ?M GasMotion) (instance ?FV FuelVapor) (subProcess ?M ?F) (destination ?M ?I) (patient ?M ?FV)))) |
Cars.kif 171-184 |
|
consequent |