TreeView Knowledge Base Browser

appearance as argument number 1

(subclass EngineCranking Motion)	Cars.kif 2059-2059	Engine cranking is a subclass of motion
(documentation EngineCranking EnglishLanguage "Starting an InternalCombustionEngine, in which an electric motor is employed to initiate Rotating of the Crankshaft and Flywheel to the point where Combusion can sustain the rotation.")	Cars.kif 2061-2064	Engine cranking is a subclass of motion

appearance as argument number 2

antecedent

(=>
    (instance ?EC EngineCranking)
    (exists (?EM ?E ?S ?R1 ?C ?R2)
        (and
            (instance ?EM ElectricalMotor)
            (instance ?E InternalCombustionEngine)
            (instance ?S Shaft)
            (instance ?C Crankshaft)
            (part ?S ?EM)
            (subProcess ?R1 ?EC)
            (instance ?R1 Rotating)
            (patient ?R1 ?S)
            (instance ?R2 Rotating)
            (patient ?R2 ?C)
            (part ?C ?E)
            (causes ?R1 ?R2))))

If X is an instance of engine cranking, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of electrical motor (3) Z is an instance of internal combustion engine (4) W is an instance of shaft (5) U is an instance of crankshaft (6) W is a part of Y (7) V is a subprocess of X (8) V is an instance of rotating (9) W is a patient of V (10) T is an instance of rotating (11) U is a patient of T (12) U is a part of Z (13) V causes T