FourStrokeIntake BashkardiLanguage
|
|
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 ist eine teilkategorie von Motion |
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 |