Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ManifoldHeatControlValve(manifold heat control valve) |
| appearance as argument number 1 |
|
| (subclass ManifoldHeatControlValve Valve) | Cars.kif 3145-3145 | Manifold heat control valve is a subclass of valve |
| (documentation ManifoldHeatControlValve EnglishLanguage "A device present on older vehicles with Carburetors that sends hot Exhaust gases to pre_heat the FuelVapor for more efficient Combustion.") | Cars.kif 3146-3148 | Manifold heat control valve is a subclass of valve |
| (typicalPart ManifoldHeatControlValve Manifold) | Cars.kif 3150-3150 | A manifold heat control valve is typically a part of a manifold |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ManifoldHeatControlValve "manifold heat control valve") | domainEnglishFormat.kif 65150-65150 |
| antecedent |
|
|
| (=> (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 |
|