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 |
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 |