EngineMAPSensor - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EngineMAPSensor PressureMeasuringDevice)	Cars.kif 3169-3169	Manifold absolute pressure sensor is a subclass of pressure measuring device
(documentation EngineMAPSensor EnglishLanguage "A sensor that measures the pressure in the ExhaustManifold and adjusts FuelVapor mixture and Engine timing accordingly.")	Cars.kif 3170-3172	Manifold absolute pressure sensor is a subclass of pressure measuring device
(typicalPart EngineMAPSensor ExhaustManifold)	Cars.kif 3174-3174	A manifold absolute pressure sensor is typically a part of a exhaust manifold

appearance as argument number 2

antecedent

(=>
    (instance ?EMS EngineMAPSensor)
    (hasPurpose ?EMS
        (exists (?ECM ?A)
            (and
                (instance ?ECM EngineControlModule)
                (instance ?A Automobile)
                (part ?EMS ?A)
                (part ?ECM ?A)
                (connectedEngineeringComponents ?EMS ?ECM)))))

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