Shaft
|
|
appearance as argument number 1 |
(documentation Shaft EnglishLanguage "A revolving rod that transmits power or motion.") | engineering.kif 770-770 | |
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/2/23/ Cardan_Shaft.jpg") | pictureList.kif 11813-11813 | |
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Dsb-1.jpg") | pictureList.kif 11814-11814 | |
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/7/76/ Rollingstock_axle.jpg") | pictureList.kif 10250-10250 | |
(externalImage Shaft "http://upload.wikimedia.org/wikipedia/commons/e/ea/ R51-plunger.jpg") | pictureList.kif 11815-11815 | |
(subclass Shaft EngineeringComponent) | engineering.kif 771-771 | 轴 是 工程组件 的 subclass |
(typicalPart Shaft Motor) | engineering.kif 772-772 | 轴 typically 是 发动机 的 part |
appearance as argument number 2 |
(subclass Camshaft Shaft) | Cars.kif 1653-1653 | Camshaft 是 轴 的 subclass |
(subclass Crankshaft Shaft) | Cars.kif 335-335 | Crankshaft 是 轴 的 subclass |
(subclass Driveshaft Shaft) | Cars.kif 2302-2302 | Driveshaft 是 轴 的 subclass |
(subclass SteeringColumn Shaft) | Cars.kif 3965-3965 | SteeringColumn 是 轴 的 subclass |
(termFormat ChineseLanguage Shaft "轴") | domainEnglishFormat.kif 52415-52415 | |
(termFormat ChineseTraditionalLanguage Shaft "軸") | domainEnglishFormat.kif 52414-52414 | |
(termFormat EnglishLanguage Shaft "shaft") | domainEnglishFormat.kif 52413-52413 |
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 2097-2116 |
|
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 2198-2213 |
|