FuelVapor |
appearance as argument number 1 |
(documentation FuelVapor EnglishLanguage "A mixture of a gas (often Air) and fuel, typically produced intentionally in Engines for the purpose of Combustion.") | Cars.kif 69-71 | |
(subclass FuelVapor GasMixture) | Cars.kif 67-67 | FuelVapor ist eine teilkategorie von GasMixture |
appearance as argument number 2 |
(termFormat EnglishLanguage FuelVapor "fuel vapor") | Cars.kif 68-68 |
antecedent |
(=> (instance ?FV FuelVapor) (exists (?F) (and (instance ?F Fuel) (part ?F ?FV)))) |
Cars.kif 73-78 |
|
consequent |
(=> (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 |
|
(=> (instance ?IV IntakeValve) (hasPurpose ?IV (exists (?A ?FV ?CC ?T) (and (instance ?A Automobile) (instance ?FV FuelVapor) (instance ?CC CombustionChamber) (instance ?T Transfer) (part ?IV ?A) (part ?CC ?A) (patient ?T ?FV) (path ?T ?IV) (destination ?T ?CC))))) |
Cars.kif 2673-2686 |
|
(=> (instance ?MHCV ManifoldHeatControlValve) (hasPurpose ?MHCV (exists (?H ?O ?E ?FV ?T) (and (instance ?H Heating) (instance ?O Opening) (instance ?E Exhaust) (instance ?T Transfer) (instance ?FV FuelVapor) (patient ?O ?MHCV) (instrument ?H ?E) (patient ?H ?FV) (path ?T ?MHCV) (causes ?O ?T) (causes ?T ?H))))) |
Cars.kif 3247-3262 |
|