|
|
   EngineControlModule
|
|
|
| appearance as argument number 1 |
|
|
| (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 2514-2517 | |
| (subclass EngineControlModule Computer) | Cars.kif 2512-2512 | EngineControlModule est une sous-classe de Computer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EngineControlModule "engine control module") | Cars.kif 2513-2513 |
| 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 2519-2532 |
|
| 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 3286-3295 |
|
|
|