TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Shaft EnglishLanguage "A revolving rod that transmits power or motion.")	engineering.kif 770-770
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/2/23/ Cardan_Shaft.jpg")	pictureList.kif 11813-11813
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Dsb-1.jpg")	pictureList.kif 11814-11814
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/7/76/ Rollingstock_axle.jpg")	pictureList.kif 10250-10250
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/e/ea/ R51-plunger.jpg")	pictureList.kif 11815-11815
(subclass Shaft EngineeringComponent)	engineering.kif 771-771	子類軸 and EngineeringComponent
(typicalPart Shaft Motor)	engineering.kif 772-772	軸 typically 是發動機的 part

appearance as argument number 2

(subclass Camshaft Shaft)	Cars.kif 1653-1653	子類 Camshaft and 軸
(subclass Crankshaft Shaft)	Cars.kif 335-335	子類 Crankshaft and 軸
(subclass Driveshaft Shaft)	Cars.kif 2325-2325	子類 Driveshaft and 軸
(subclass SteeringColumn Shaft)	Cars.kif 3988-3988	子類 SteeringColumn and 軸
(termFormat ChineseLanguage Shaft "轴")	domainEnglishFormat.kif 52413-52413
(termFormat ChineseTraditionalLanguage Shaft "軸")	domainEnglishFormat.kif 52412-52412
(termFormat EnglishLanguage Shaft "shaft")	domainEnglishFormat.kif 52411-52411

antecedent

(=>
    (and
        (instance ?SH1 Shaft)
        (instance ?SH2 Shaft)
        (not
            (equal ?SH1 ?SH2))
        (instance ?R1 Rotating)
        (patient ?R1 ?SH1)
        (instance ?R2 Rotating)
        (patient ?R2 ?SH2)
        (causes ?R1 ?R2)
        (instance ?CV CVJoint)
        (connectedEngineeringComponents ?R1 ?CV)
        (connectedEngineeringComponents ?R2 ?CV)
        (holdsDuring
            (WhenFn ?R1)
            (equal ?SH1
                (RotationFn ?N ?T))))
    (holdsDuring
        (WhenFn ?R2)
        (equal ?SH2
            (RotationFn ?N ?T))))

Cars.kif 2120-2139

consequent

(=>
    (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))))

Cars.kif 2221-2236