Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FuelVapor(fuel vapor) |
| appearance as argument number 1 |
|
| (subclass FuelVapor GasMixture) | Cars.kif 20-20 | Fuel vapor is a subclass of gas mixture |
| (documentation FuelVapor EnglishLanguage "A mixture of a gas (often Air) and fuel, typically produced intentionally in Engines for the purpose of Combustion.") | Cars.kif 22-24 | Fuel vapor is a subclass of gas mixture |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FuelVapor "fuel vapor") | Cars.kif 21-21 |
| antecedent |
|
|
| (=> (instance ?FV FuelVapor) (exists (?F) (and (instance ?F Fuel) (part ?F ?FV)))) |
Cars.kif 26-31 | If X is an instance of fuel vapor, then there exists Y such that Y is an instance of fuel and Y is a part of X |
| 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 124-137 | If X is an instance of four stroke intake, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of fuel vapor, V is a subprocess of X, V ends up at Z, and W is a patient of V |
| (=> (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 2528-2541 | If X is an instance of intake valve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of automobile (3) Z is an instance of fuel vapor (4) W is an instance of combustion chamber (5) V is an instance of transfer (6) X is a part of Y (7) W is a part of Y (8) Z is a patient of V (9) X is path along which V occurs (10) V ends up at W |
| (=> (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 3152-3167 | If X is an instance of manifold heat control valve, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of heating (3) Z is an instance of opening (4) W is an instance of exhaust (5) U is an instance of transfer (6) V is an instance of fuel vapor (7) X is a patient of Z (8) W is an instrument for Y (9) V is a patient of Y (10) X is path along which U occurs (11) Z causes U (12) U causes Y |
|