TreeView Knowledge Base Browser - 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 2520-2523
(subclass EngineControlModule Computer)	Cars.kif 2518-2518	EngineControlModule ist eine teilkategorie von Computer

appearance as argument number 2

(termFormat EnglishLanguage EngineControlModule "engine control module")

Cars.kif 2519-2519

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 2525-2538

Wenn Physical ist ein fall von EngineControlModule %n{nicht},
dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Automobile %n{nicht} und ** ** entity ist ein fall von Engine %n{nicht} und ** ** entity ist ein fall von Process %n{nicht} und ** ** entity ist ein fall von Process %n{nicht} und ** ** entity ist ein teil von ** entity %n{nicht} und ** Physical ist ein teil von ** entity %n{nicht} und eventLocated ** ** entity and ** Physical und eventLocated ** ** entity and ** ** entity und ** ** entity verursacht ** ** entity %n{nicht} %n{nicht}

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 3294-3303

Wenn Physical ist ein fall von EngineMAPSensor %n{nicht},
dann ** Physical hat Zweck von es gibt entity und ** entity um ** entity ist ein fall von EngineControlModule %n{nicht} und ** ** entity ist ein fall von Automobile %n{nicht} und ** Physical ist ein teil von ** ** entity %n{nicht} und ** entity ist ein teil von ** ** entity %n{nicht} und ** Physical wird mit ** entity angeschlossen %n{nicht}

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

KB Term:			Term intersection

English Word: