StarterMotor - Sigma Knowledge base Browser

appearance as argument number 1

(documentation StarterMotor EnglishLanguage "Any Motor that has the intended use of starting an IntermittentCombustionEngine. In most Automobiles it is a small electric motor, but in a diesel heavy equipment engine there may be an electric motor that starts a gas engine that in turn starts the diesel engine.")	Cars.kif 3955-3959
(subclass StarterMotor Motor)	Cars.kif 3953-3953	StarterMotor 是发动机的 subclass

appearance as argument number 2

(termFormat EnglishLanguage StarterMotor "starter motor")

Cars.kif 3954-3954

antecedent

(=>
    (instance ?SM StarterMotor)
    (hasPurpose ?SM
        (exists (?P1 ?P2 ?ICE)
            (and
                (instance ?ICE InternalCombustionEngine)
                (instrument ?P1 ?SM)
                (instrument ?P2 ?ICE)
                (causes ?P1 ?P2)))))

Cars.kif 3961-3969