| Shaft
| |
| 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 | |
| (typicalPart Shaft Motor) | engineering.kif 897-897 |
| appearance as argument number 2 |
|
|
| (subclass Camshaft Shaft) | Cars.kif 1654-1654 | |
| (subclass CantileverShaft Shaft) | engineering.kif 915-915 | |
| (subclass Crankshaft Shaft) | Cars.kif 335-335 | |
| (subclass Driveshaft Shaft) | Cars.kif 2303-2303 | |
| (subclass SteeringColumn Shaft) | Cars.kif 4041-4041 | |
| (termFormat ChineseLanguage Shaft "轴") | domainEnglishFormat.kif 52417-52417 | |
| (termFormat ChineseTraditionalLanguage Shaft "軸") | domainEnglishFormat.kif 52416-52416 | |
| (termFormat EnglishLanguage Shaft "shaft") | domainEnglishFormat.kif 52415-52415 |
| 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 | |
| (=> (instance ?S Shaft) (exists (?CL) (and (instance ?CL Cylinder) (shape ?S ?CL)))) |
engineering.kif 900-905 | |
| (=> (instance ?S Shaft) (exists (?R) (and (instance ?R Rotating) (patient ?R ?S)))) |
engineering.kif 907-912 |
| 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 |
|
|
|