Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EngineControlModule(engine control module) |
| appearance as argument number 1 |
|
| (subclass EngineControlModule Computer) | Cars.kif 2346-2346 | Engine control module is a subclass of computer |
| (documentation EngineControlModule EnglishLanguage "A Computer that is present in most modern Automobiles, which controls the major functions of the Engine, including the Air - Fuel Mixture, ignition timing and pollution control systems.") | Cars.kif 2348-2351 | Engine control module is a subclass of computer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EngineControlModule "engine control module") | Cars.kif 2347-2347 |
| antecedent |
|
|
| (=> (instance ?ECM EngineControlModule) (hasPurpose ?ECM (exists (?A ?E ?P1 ?P2) (and (instance ?A Automobile) (instance ?E Engine) (instance ?P1 Process) (instance ?P2 Process) (part ?E ?A) (part ?ECM ?A) (eventLocated ?P1 ?ECM) (eventLocated ?P2 ?E) (causes ?P1 ?P2))))) |
Cars.kif 2353-2366 | If X is an instance of engine control module, 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 engine (4) W is an instance of process (5) V is an instance of process (6) Z is a part of Y (7) X is a part of Y (8) W is located at X (9) V is located at Z (10) W causes V |
| consequent |
|
|
| (=> (instance ?EMS EngineMAPSensor) (hasPurpose ?EMS (exists (?ECM ?A) (and (instance ?ECM EngineControlModule) (instance ?A Automobile) (part ?EMS ?A) (part ?ECM ?A) (connectedEngineeringComponents ?EMS ?ECM))))) |
Cars.kif 3176-3185 | If X is an instance of manifold absolute pressure sensor, then X has the purpose there exist Y, Z such that Y is an instance of engine control module, Z is an instance of automobile, X is a part of Z, Y is a part of Z, and X is connected to Y |
|