Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 982-982
(subclass Shaft EngineeringComponent) engineering.kif 983-983 Shaft is a subclass of engineering component
(typicalPart Shaft Motor) engineering.kif 984-984 A shaft is typically a part of a motor
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/7/76/ Rollingstock_axle.jpg") pictureList.kif 10248-10248 A shaft is typically a part of a motor
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/2/23/ Cardan_Shaft.jpg") pictureList.kif 11806-11806 A shaft is typically a part of a motor
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Dsb-1.jpg") pictureList.kif 11807-11807 A shaft is typically a part of a motor
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/e/ea/ R51-plunger.jpg") pictureList.kif 11808-11808 A shaft is typically a part of a motor

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


(subclass Crankshaft Shaft) Cars.kif 288-288 Crankshaft is a subclass of shaft
(subclass Camshaft Shaft) Cars.kif 1533-1533 Camshaft is a subclass of shaft
(subclass Driveshaft Shaft) Cars.kif 2168-2168 Driveshaft is a subclass of shaft
(subclass SteeringColumn Shaft) Cars.kif 3850-3850 Steering column is a subclass of shaft
(termFormat EnglishLanguage Shaft "shaft") domainEnglishFormat.kif 52408-52408 Steering column is a subclass of shaft
(termFormat ChineseTraditionalLanguage Shaft "軸") domainEnglishFormat.kif 52409-52409 Steering column is a subclass of shaft
(termFormat ChineseLanguage Shaft "轴") domainEnglishFormat.kif 52410-52410 Steering column is a subclass of shaft
(subclass CantileverShaft Shaft) engineering.kif 1002-1002 Cantilever shaft is a subclass of shaft

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)
        (equal
            (WhenFn ?R1)
            (WhenFn ?R2))
        (instance ?CV CVJoint)
        (connectedEngineeringComponents ?SH1 ?CV)
        (connectedEngineeringComponents ?SH2 ?CV)
        (holdsDuring
            (WhenFn ?R1)
            (equal
                (MeasureFn ?N RevolutionsPerMinute)
                (RotationFn ?R1))))
    (holdsDuring
        (WhenFn ?R2)
        (equal
            (MeasureFn ?N RevolutionsPerMinute)
            (RotationFn ?R2))))		 Cars.kif 1958-1984 If All of the following hold: (1) X is an instance of shaft (2) Y is an instance of shaft (3) equal X and Y (4) Z is an instance of rotating (5) X is a patient of Z (6) W is an instance of rotating (7) Y is a patient of W (8) Z causes W (9) equal the time of existence of Z and the time of existence of W (10) V is an instance of C.V. joint (11) X is connected to V (12) Y is connected to V (13) equal U revolutions per minute(s) and the rotation of Z during holds during the time of existence of Z, then equal U revolutions per minute(s) and the rotation of W during holds during the time of existence of W
(=>
    (instance ?S Shaft)
    (exists (?CL)
        (and
            (instance ?CL Cylinder)
            (shape ?S ?CL))))		 engineering.kif 987-992 If X is an instance of shaft, then there exists Y such that Y is an instance of cylinder and X is Y
(=>
    (instance ?S Shaft)
    (exists (?R)
        (and
            (instance ?R Rotating)
            (patient ?R ?S))))		 engineering.kif 994-999 If X is an instance of shaft, then there exists Y such that Y is an instance of rotating and X is a patient of Y

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 ?R1 ?S)
            (instance ?R2 Rotating)
            (patient ?R2 ?C)
            (part ?C ?E)
            (causes ?R1 ?R2))))		 Cars.kif 2066-2081 If X is an instance of engine cranking, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of electrical motor (3) Z is an instance of internal combustion engine (4) W is an instance of shaft (5) U is an instance of crankshaft (6) W is a part of Y (7) V is a subprocess of X (8) V is an instance of rotating (9) W is a patient of V (10) T is an instance of rotating (11) U is a patient of T (12) U is a part of Z (13) V causes T


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners