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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shaft

Sigma KEE - 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 11829-11829
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Dsb-1.jpg") pictureList.kif 11830-11830
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/7/76/ Rollingstock_axle.jpg") pictureList.kif 10260-10260
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/e/ea/ R51-plunger.jpg") pictureList.kif 11831-11831
(subclass Shaft MechanicalDevice) engineering.kif 769-769
(typicalPart Shaft Motor) engineering.kif 770-770

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


(subclass Camshaft Shaft) Cars.kif 1647-1647
(subclass Crankshaft Shaft) Cars.kif 335-335
(subclass Driveshaft Shaft) Cars.kif 2319-2319
(subclass SteeringColumn Shaft) Cars.kif 3983-3983
(termFormat ChineseLanguage Shaft "轴") domainEnglishFormat.kif 52396-52396
(termFormat ChineseTraditionalLanguage Shaft "軸") domainEnglishFormat.kif 52395-52395
(termFormat EnglishLanguage Shaft "shaft") domainEnglishFormat.kif 52394-52394

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 2114-2133

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 2215-2230


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

Show without tree


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