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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Shaft

appearance as argument number 1

(documentation Shaft EnglishLanguage "A revolving rod that transmits power or motion.") engineering.kif 770-770
(externalImage Shaft " Cardan_Shaft.jpg") pictureList.kif 11813-11813
(externalImage Shaft " Dsb-1.jpg") pictureList.kif 11814-11814
(externalImage Shaft " Rollingstock_axle.jpg") pictureList.kif 10250-10250
(externalImage Shaft " R51-plunger.jpg") pictureList.kif 11815-11815
(subclass Shaft EngineeringComponent) engineering.kif 771-771 工程组件subclass
(typicalPart Shaft Motor) engineering.kif 772-772 typically发动机part

appearance as argument number 2

(subclass Camshaft Shaft) Cars.kif 1647-1647 Camshaftsubclass
(subclass Crankshaft Shaft) Cars.kif 335-335 Crankshaftsubclass
(subclass Driveshaft Shaft) Cars.kif 2319-2319 Driveshaftsubclass
(subclass SteeringColumn Shaft) Cars.kif 3980-3980 SteeringColumnsubclass
(termFormat ChineseLanguage Shaft "轴") domainEnglishFormat.kif 52413-52413
(termFormat ChineseTraditionalLanguage Shaft "軸") domainEnglishFormat.kif 52412-52412
(termFormat EnglishLanguage Shaft "shaft") domainEnglishFormat.kif 52411-52411


        (instance ?SH1 Shaft)
        (instance ?SH2 Shaft)
            (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)
            (WhenFn ?R1)
            (equal ?SH1
                (RotationFn ?N ?T))))
        (WhenFn ?R2)
        (equal ?SH2
            (RotationFn ?N ?T))))
Cars.kif 2114-2133


    (instance ?EC EngineCranking)
    (exists (?EM ?E ?S ?R1 ?C ?R2)
            (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 2215-2230

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