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 | Shaft è una sottoclasse di Meccanismo |
(typicalPart Shaft Motor) | engineering.kif 772-772 | typicalPart Shaft and Motor |
appearance as argument number 2 |
(subclass Camshaft Shaft) | Cars.kif 1647-1647 | Camshaft è una sottoclasse di Shaft |
(subclass Crankshaft Shaft) | Cars.kif 335-335 | Crankshaft è una sottoclasse di Shaft |
(subclass Driveshaft Shaft) | Cars.kif 2319-2319 | Driveshaft è una sottoclasse di Shaft |
(subclass SteeringColumn Shaft) | Cars.kif 3980-3980 | SteeringColumn è una sottoclasse di Shaft |
(termFormat ChineseLanguage Shaft "轴") | domainEnglishFormat.kif 52413-52413 | |
(termFormat ChineseTraditionalLanguage Shaft "軸") | domainEnglishFormat.kif 52412-52412 | |
(termFormat EnglishLanguage Shaft "shaft") | domainEnglishFormat.kif 52411-52411 |
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 2114-2133 |
|
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 2215-2230 |
|