IgnitionControlModule - Sigma Knowledge base Browser

appearance as argument number 1

(documentation IgnitionControlModule EnglishLanguage "A Computer that controls the ignition system, and may itself be controlled by the EngineControlModule.")	Cars.kif 3187-3188
(subclass IgnitionControlModule Computer)	Cars.kif 3185-3185	子類 IgnitionControlModule and 電腦
(typicalPart IgnitionControlModule AutomobileIgnitionSystem)	Cars.kif 3211-3211	IgnitionControlModule typically 是 AutomobileIgnitionSystem 的 part
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem)	Cars.kif 3212-3212	AutomobileIgnitionSystem typically 有 part IgnitionControlModule

appearance as argument number 2

Cars.kif 3186-3186

antecedent

(=>
    (instance ?ICM IgnitionControlModule)
    (hasPurpose ?ICM
        (exists (?S ?A ?CP)
            (and
                (instance ?A Automobile)
                (instance ?S Spark)
                (instance ?CP ComputerProcess)
                (part ?ICM ?A)
                (eventLocated ?CP ?A)
                (eventLocated ?S ?A)
                (causes ?CP ?S)))))

Cars.kif 3190-3201