Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Crankshaft
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Crankshaft Shaft) | Cars.kif 288-288 | Crankshaft is a subclass of shaft |
| (documentation Crankshaft EnglishLanguage "The output of the effort of a Engine. It is a rotating rod that transfers power to other Devices.") | Cars.kif 289-290 | Crankshaft is a subclass of shaft |
| (typicalPart Crankshaft IntermittentCombustionEngine) | Cars.kif 291-291 | A crankshaft is typically a part of a intermittent combustion engine |
| (typicallyContainsPart Crankshaft IntermittentCombustionEngine) | Cars.kif 292-292 | A intermittent combustion engine typically has a part crankshaft |
| (typicalPart Crankshaft Crankcase) | Cars.kif 294-294 | A crankshaft is typically a part of a crankcase |
| (typicallyContainsPart Crankshaft Crankcase) | Cars.kif 295-295 | A crankcase typically has a part crankshaft |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Crankshaft "crankshaft") | domainEnglishFormat.kif 64717-64717 |
| antecedent |
|
|
| (=> (and (instance ?C Crankshaft) (instance ?I IntermittentCombustionEngine) (part ?I ?C)) (hasPurpose ?C (exists (?E ?R) (and (instance ?E Explosion) (instance ?R Rotating) (patient ?R ?C) (eventLocated ?R ?I) (causes ?E ?R))))) |
Cars.kif 302-314 | If X is an instance of crankshaft, Y is an instance of intermittent combustion engine, and Y is a part of X, then X has the purpose there exist Z, W such that Z is an instance of explosion, W is an instance of rotating, X is a patient of W, W is located at Y, and Z causes W |
| (=> (and (instance ?AT AutomobileTransmission) (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 ?G1 Gear) (instance ?G2 Gear) (part ?G1 ?AT) (part ?G2 ?AT) (instance ?CR1 Rotating) (instance ?CR2 Rotating) (instance ?GR1 Rotating) (instance ?GR2 Rotating) (instance ?DR1 Rotating) (instance ?DR2 Rotating) (moves ?CR1 ?C) (moves ?CR2 ?C) (moves ?GR1 ?G1) (moves ?GR2 ?G2) (moves ?DR1 ?D) (moves ?DR2 ?D) (causes ?CR1 ?GR1) (causes ?GR1 ?DR1) (causes ?CR2 ?GR2) (causes ?GR2 ?DR2) (not (equal ?CR1 ?CR2)) (not (equal ?G1 ?G2)) (equal (MeasureFn ?NR1 RevolutionsPerMinute) (RotationFn ?CR1)) (equal (MeasureFn ?NR2 RevolutionsPerMinute) (RotationFn ?CR2)) (equal (MeasureFn ?ND1 RevolutionsPerMinute) (RotationFn ?DR1)) (equal (MeasureFn ?ND2 RevolutionsPerMinute) (RotationFn ?DR2)) (equal ?NR1 ?NR2)) (not (equal ?ND1 ?ND2))) |
Cars.kif 2195-2236 | If All of the following hold: (1) X is an instance of transmission (2) Y is an instance of crankshaft (3) Z is an instance of driveshaft (4) W is an instance of automobile (5) Z is a part of W (6) X is a part of W (7) Y is a part of W (8) Y is connected to X (9) Z is connected to X (10) V is an instance of gear (11) U is an instance of gear (12) V is a part of X (13) U is a part of X (14) T is an instance of rotating (15) S is an instance of rotating (16) R is an instance of rotating (17) Q is an instance of rotating (18) P is an instance of rotating (19) O is an instance of rotating (20) Y moves during T (21) Y moves during S (22) V moves during R (23) U moves during Q (24) Z moves during P (25) Z moves during O (26) T causes R (27) R causes P (28) S causes Q (29) Q causes O (30) equal T and S (31) equal V and U (32) equal N revolutions per minute(s) and the rotation of T during (33) equal M revolutions per minute(s) and the rotation of S during (34) equal L revolutions per minute(s) and the rotation of P during (35) equal K revolutions per minute(s) and the rotation of O during (36) equal N and M, then equal L and K |
| (=> (and (engineIdleSpeed ?E (MeasureFn ?RI RevolutionsPerMinute)) (instance ?A Automobile) (instance ?GP GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (instance ?R1 Rotating) (moves ?R1 ?C) (during (WhenFn ?R1) (WhenFn ?P)) (part ?C ?E) (equal (MeasureFn ?RA RevolutionsPerMinute) (RotationFn ?R1))) (modalAttribute (greaterThan ?RA ?RI) Likely)) |
Cars.kif 2419-2441 | If All of the following hold: (1) the idle speed of X is Y revolutions per minute(s) (2) Z is an instance of automobile (3) W is an instance of gas pedal (4) V is an instance of pushing (5) V ends up at W (6) X is a part of Z (7) W is a part of Z (8) U is an instance of crankshaft (9) T is an instance of rotating (10) U moves during T (11) the time of existence of T takes place during the time of existence of V (12) U is a part of X (13) equal S revolutions per minute(s) and the rotation of T during, then the statement S is greater than Y has the modal force of likely |
| consequent |
|
|
| (=> (instance ?ECR EngineConnectingRod) (hasPurpose ?ECR (exists (?P ?C) (and (instance ?P Piston) (instance ?C Crankshaft) (connectedEngineeringComponents ?P ?ECR) (connectedEngineeringComponents ?C ?ECR))))) |
Cars.kif 1836-1844 | If X is an instance of engine connecting rod, then X has the purpose there exist Y, Z such that Y is an instance of piston, Z is an instance of crankshaft, Y is connected to X, and Z is connected to X |
| (=> (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 2066-2081 | If X is an instance of engine cranking, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of electrical motor (3) Z is an instance of internal combustion engine (4) W is an instance of shaft (5) U is an instance of crankshaft (6) W is a part of Y (7) V is a subprocess of X (8) V is an instance of rotating (9) W is a patient of V (10) T is an instance of rotating (11) U is a patient of T (12) U is a part of Z (13) V causes T |
| (=> (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 2549-2566 | If X is an instance of fan belt, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of pulley (3) Z is an instance of pulley (4) equal Y (5) Z (6) W is an instance of crankshaft (7) V is an instance of automobile (8) Y is a part of V (9) Z is a part of V (10) W is a part of V (11) X is a part of V (12) W is connected to Y (13) Y is connected to X (14) X is connected to Z |
| (=> (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 4480-4496 | If X is an instance of four wheel drive, then All of the following hold: (1) X has the purpose Y Y is a part of X (2) there exist Z, W,, , V (3) U such that Z is an instance of engine (4) Z is a part of X (5) W is an instance of crankshaft (6) W is a part of Z (7) V is an instance of rotating (8) W is a patient of V (9) U is an instance of rotating (10) Y is a patient of U (11) V causes U |
| (=> (instance ?TWD TwoWheelDriveVehicle) (hasPurpose ?TWD (exists (?WHEEL1 ?WHEEL2) (and (part ?WHEEL1 ?TWD) (part ?WHEEL2 ?TWD) (not (equal ?WHEEL1 ?WHEEL2)) (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 ?WHEEL1) (causes ?R1 ?R2) (patient ?R3 ?WHEEL2) (causes ?R1 ?R3) (not (exists (?WHEEL3 ?R4) (and (not (equal ?WHEEL1 ?WHEEL3)) (not (equal ?WHEEL2 ?WHEEL3)) (part ?WHEEL3 ?TWD) (instance ?R4 Rotating) (patient ?R4 ?WHEEL3) (causes ?R1 ?R4)))))))))) |
Cars.kif 4503-4535 | If X is an instance of four wheel drive, then X has the purpose there exist Y and Z such that Y is a part of X and Z is a part of X and equal Y and Z and there exist W, V,, , U,, , T and S such that W is an instance of engine and W is a part of X and V is an instance of crankshaft and V is a part of W and U is an instance of rotating and V is a patient of U and T is an instance of rotating and Y is a patient of T and U causes T and Z is a patient of S and U causes S and there don't exist R and Q such that equal Y and R and equal Z and R and R is a part of X and Q is an instance of rotating and R is a patient of Q and U causes Q |
|