Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EngineControlModule

Sigma KEE - EngineControlModule
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 EngineControlModuleComputersubclass では %n

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners