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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Shaft
Shaft

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


(documentation Shaft EnglishLanguage "A revolving rod that transmits power or motion.") engineering.kif 764-764
(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 765-765
(typicalPart Shaft Motor) engineering.kif 766-766

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


(subclass Camshaft Shaft) Cars.kif 1642-1642
(subclass Crankshaft Shaft) Cars.kif 335-335
(subclass Driveshaft Shaft) Cars.kif 2305-2305
(subclass SteeringColumn Shaft) Cars.kif 3952-3952
(termFormat ChineseLanguage Shaft "轴") domainEnglishFormat.kif 52351-52351
(termFormat ChineseTraditionalLanguage Shaft "軸") domainEnglishFormat.kif 52350-52350
(termFormat EnglishLanguage Shaft "shaft") domainEnglishFormat.kif 52349-52349

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 2100-2119

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 2201-2216


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners