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 3932-3936
(subclass StarterMotor Motor)	Cars.kif 3930-3930	Starter motor is a subclass of motor

appearance as argument number 2

(termFormat EnglishLanguage StarterMotor "starter motor")

Cars.kif 3931-3931

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 3938-3946