Shaft - Sigma 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	Shaft is a subclass of engineering component
(typicalPart Shaft Motor)	engineering.kif 772-772	A shaft is typically a part of a motor

appearance as argument number 2

(subclass Camshaft Shaft)	Cars.kif 1653-1653	Camshaft is a subclass of shaft
(subclass Crankshaft Shaft)	Cars.kif 335-335	Crankshaft is a subclass of shaft
(subclass Driveshaft Shaft)	Cars.kif 2302-2302	Driveshaft is a subclass of shaft
(subclass SteeringColumn Shaft)	Cars.kif 3965-3965	Steering column is a subclass of shaft
(termFormat ChineseLanguage Shaft "轴")	domainEnglishFormat.kif 52453-52453	Steering column is a subclass of shaft
(termFormat ChineseTraditionalLanguage Shaft "軸")	domainEnglishFormat.kif 52452-52452	Steering column is a subclass of shaft
(termFormat EnglishLanguage Shaft "shaft")	domainEnglishFormat.kif 52451-52451	Steering column is a subclass of shaft

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 2097-2116

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 2198-2213