Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Shaft
Shaft(shaft)
rotating_shaft, shaft

appearance as argument number 1
-------------------------


(documentation Shaft EnglishLanguage "A revolving rod that transmits power or motion.") engineering.kif 768-768
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/2/23/ Cardan_Shaft.jpg") pictureList.kif 11840-11840
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Dsb-1.jpg") pictureList.kif 11841-11841
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/7/76/ Rollingstock_axle.jpg") pictureList.kif 10271-10271
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/e/ea/ R51-plunger.jpg") pictureList.kif 11842-11842
(subclass Shaft MechanicalDevice) engineering.kif 769-769 Shaft is a subclass of mechanical device
(typicalPart Shaft Motor) engineering.kif 770-770 A shaft is typically a part of a motor

appearance as argument number 2
-------------------------


(subclass Camshaft Shaft) Cars.kif 1643-1643 Camshaft is a subclass of shaft
(subclass Crankshaft Shaft) Cars.kif 335-335 Crankshaft is a subclass of shaft
(subclass Driveshaft Shaft) Cars.kif 2306-2306 Driveshaft is a subclass of shaft
(subclass SteeringColumn Shaft) Cars.kif 3954-3954 Steering column is a subclass of shaft
(termFormat ChineseLanguage Shaft "轴") domainEnglishFormat.kif 52331-52331
(termFormat ChineseTraditionalLanguage Shaft "軸") domainEnglishFormat.kif 52330-52330
(termFormat EnglishLanguage Shaft "shaft") domainEnglishFormat.kif 52329-52329

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 2101-2120

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 ?R ?S)
            (instance ?R2 Rotating)
            (patient ?R2 ?C)
            (part ?C ?E)
            (causes ?R1 ?R2))))
Cars.kif 2202-2217


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners