Crankshaft |
appearance as argument number 1 |
(documentation Crankshaft EnglishLanguage "The output of the effort of a Engine. It is a rotating rod that transfers power to other Devices.") | Cars.kif 336-337 | |
(subclass Crankshaft Shaft) | Cars.kif 335-335 | Crankshaft ist eine teilkategorie von Shaft |
(typicalPart Crankshaft Crankcase) | Cars.kif 341-341 | typicalPart Crankshaft and Crankcase |
(typicalPart Crankshaft IntermittentCombustionEngine) | Cars.kif 338-338 | typicalPart Crankshaft and IntermittentCombustionEngine |
(typicallyContainsPart Crankshaft Crankcase) | Cars.kif 342-342 | typicallyContainsPart Crankshaft and Crankcase |
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) | Cars.kif 339-339 | typicallyContainsPart Crankshaft and IntermittentCombustionEngine |
appearance as argument number 2 |
(termFormat EnglishLanguage Crankshaft "crankshaft") | domainEnglishFormat.kif 64714-64714 |
antecedent |
consequent |
(=> (instance ?AT AutomobileTransmission) (hasPurpose ?AT (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3) (and (instance ?C Crankshaft) (instance ?D Driveshaft) (instance ?A Automobile) (part ?D ?A) (part ?AT ?A) (part ?C ?A) (connectedEngineeringComponents ?C ?AT) (connectedEngineeringComponents ?D ?AT) (instance ?R1 Rotating) (instance ?R2 Rotating) (instance ?R3 Rotating) (instance ?R4 Rotating) (patient ?R1 ?C) (patient ?R2 ?C) (patient ?R3 ?D) (patient ?R4 ?D) (causes ?R1 ?R3) (causes ?R2 ?R4) (not (equal ?R1 ?R2)) (holdsDuring ?R1 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R2 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R3 (measure ?D (RotationFn ?N2 MinuteDuration))) (holdsDuring ?R4 (measure ?D (RotationFn ?N3 MinuteDuration))) (not (equal ?N2 ?N3)))))) |
Cars.kif 2346-2380 |
|
(=> (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 |
|
(=> (instance ?ECR EngineConnectingRod) (hasPurpose ?ECR (exists (?P ?C) (and (instance ?P Piston) (instance ?C Crankshaft) (connectedEngineeringComponents ?P ?ECR) (connectedEngineeringComponents ?C ?ECR))))) |
Cars.kif 1972-1980 |
|
(=> (instance ?FB FanBelt) (hasPurpose ?FB (exists (?P1 ?P2 ?C ?A) (and (instance ?P1 Pulley) (instance ?P2 Pulley) (not (equal ?P1 ?P2)) (instance ?C Crankshaft) (instance ?A Automobile) (part ?P1 ?A) (part ?P2 ?A) (part ?C ?A) (part ?FB ?A) (connectedEngineeringComponents ?C ?P1) (connectedEngineeringComponents ?P1 ?FB) (connectedEngineeringComponents ?FB ?P2))))) |
Cars.kif 2711-2728 |
|
(=> (instance ?FWD FourWheelDriveVehicle) (hasPurpose ?FWD (forall (?W) (and (part ?W ?FWD) (exists (?E ?C ?R1 ?R2) (and (instance ?E Engine) (part ?E ?FWD) (instance ?C Crankshaft) (part ?C ?E) (instance ?R1 Rotating) (patient ?R1 ?C) (instance ?R2 Rotating) (patient ?R2 ?W) (causes ?R1 ?R2))))))) |
Cars.kif 4588-4604 |
|
(=> (instance ?TWD TwoWheelDriveVehicle) (hasPurpose ?TWD (exists (?W1 ?W2) (and (part ?W1 ?TWD) (part ?W2 ?TWD) (not (equal ?W1 ?W2)) (exists (?E ?C ?R1 ?R2 ?R3) (and (instance ?E Engine) (part ?E ?TWD) (instance ?C Crankshaft) (part ?C ?E) (instance ?R1 Rotating) (patient ?R1 ?C) (instance ?R2 Rotating) (patient ?R2 ?W1) (causes ?R1 ?R2) (patient ?R3 ?W2) (causes ?R1 ?R3) (not (exists (?W3 ?R4) (and (not (equal ?W1 ?W3)) (not (equal ?W2 ?W3)) (part ?W3 ?TWD) (instance ?R4 Rotating) (patient ?R4 ?W3) (causes ?R1 ?R4)))))))))) |
Cars.kif 4611-4643 |
|