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 771-771
(externalImage Shaft " Cardan_Shaft.jpg") pictureList.kif 11821-11821
(externalImage Shaft " Dsb-1.jpg") pictureList.kif 11822-11822
(externalImage Shaft " Rollingstock_axle.jpg") pictureList.kif 10252-10252
(externalImage Shaft " R51-plunger.jpg") pictureList.kif 11823-11823
(subclass Shaft MechanicalDevice) engineering.kif 772-772 Shaft est une sous-classe de MechanicalDevice
(typicalPart Shaft Motor) engineering.kif 773-773 typicalPart Shaft and Motor

appearance as argument number 2

(subclass Camshaft Shaft) Cars.kif 1647-1647 Camshaft est une sous-classe de Shaft
(subclass Crankshaft Shaft) Cars.kif 335-335 Crankshaft est une sous-classe de Shaft
(subclass Driveshaft Shaft) Cars.kif 2319-2319 Driveshaft est une sous-classe de Shaft
(subclass SteeringColumn Shaft) Cars.kif 3980-3980 SteeringColumn est une sous-classe de Shaft
(termFormat ChineseLanguage Shaft "轴") domainEnglishFormat.kif 52425-52425
(termFormat ChineseTraditionalLanguage Shaft "軸") domainEnglishFormat.kif 52424-52424
(termFormat EnglishLanguage Shaft "shaft") domainEnglishFormat.kif 52423-52423


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