Shaft - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Shaft EnglishLanguage "A revolving rod that transmits power or motion.")	engineering.kif 895-895
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/2/23/ Cardan_Shaft.jpg")	pictureList.kif 11806-11806
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Dsb-1.jpg")	pictureList.kif 11807-11807
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/7/76/ Rollingstock_axle.jpg")	pictureList.kif 10248-10248
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/e/ea/ R51-plunger.jpg")	pictureList.kif 11808-11808
(subclass Shaft EngineeringComponent)	engineering.kif 896-896	Shaft is a subclass of engineering component
(typicalPart Shaft Motor)	engineering.kif 897-897	A shaft is typically a part of a motor

appearance as argument number 2

(subclass Camshaft Shaft)	Cars.kif 1654-1654	Camshaft is a subclass of shaft
(subclass CantileverShaft Shaft)	engineering.kif 915-915	Cantilever shaft is a subclass of shaft
(subclass Crankshaft Shaft)	Cars.kif 335-335	Crankshaft is a subclass of shaft
(subclass Driveshaft Shaft)	Cars.kif 2303-2303	Driveshaft is a subclass of shaft
(subclass SteeringColumn Shaft)	Cars.kif 4041-4041	Steering column is a subclass of shaft
(termFormat ChineseLanguage Shaft "轴")	domainEnglishFormat.kif 52446-52446	Steering column is a subclass of shaft
(termFormat ChineseTraditionalLanguage Shaft "軸")	domainEnglishFormat.kif 52445-52445	Steering column is a subclass of shaft
(termFormat EnglishLanguage Shaft "shaft")	domainEnglishFormat.kif 52444-52444	Steering column 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) (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 2098-2117	If an entity is an instance of shaft and another entity is an instance of shaft and the entity is not equal to the other entity and an engineering component is an instance of rotating and the entity is a patient of the engineering component and another engineering component is an instance of rotating and the other entity is a patient of the other engineering component and the engineering component causes the other engineering component and a third engineering component is an instance of C.V. joint and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component and the entity is equal to the rotation of a third entity during a fourth entity holds during the time of existence of the engineering component, then the other entity is equal to the rotation of the third entity during the fourth entity holds during the time of existence of the other engineering component
(=> (instance ?S Shaft) (exists (?CL) (and (instance ?CL Cylinder) (shape ?S ?CL))))	engineering.kif 900-905	If a physical is an instance of shaft, then there exists a shape attribute such that the shape attribute is an instance of cylinder and the physical is the shape attribute
(=> (instance ?S Shaft) (exists (?R) (and (instance ?R Rotating) (patient ?R ?S))))	engineering.kif 907-912	If an entity is an instance of shaft, then there exists a process such that the process is an instance of rotating and the entity is a patient of the process

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 2199-2214

If a process is an instance of engine cranking,
then there exist an object, another object,, , a third object,, , another process,, , a fourth object and a third process such that the object is an instance of electrical motor and the other object is an instance of internal combustion engine and the third object is an instance of shaft and the fourth object is an instance of crankshaft and the third object is a part of the object and the other process is a subprocess of the process and the other process is an instance of rotating and the third object is a patient of the other process and the third process is an instance of rotating and the fourth object is a patient of the third process and the fourth object is a part of the other object and the other process causes the third process

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

KB Term:			Term intersection

English Word: