Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  RevolutionsPerMinute
|
|
|
| appearance as argument number 1 |
|
|
| (instance RevolutionsPerMinute UnitOfMeasure) | Cars.kif 1938-1938 | Revolutions per minute is an instance of unit of measure |
| (instance RevolutionsPerMinute CompositeUnitOfMeasure) | Cars.kif 1939-1939 | Revolutions per minute is an instance of composite unit of measure |
| (documentation RevolutionsPerMinute EnglishLanguage "The number of complete revolutions in one plane of motion for a given object.") | Cars.kif 1941-1942 | Revolutions per minute is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RevolutionsPerMinute "revolutions per minute") | Cars.kif 1940-1940 |
| 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) (equal (WhenFn ?R1) (WhenFn ?R2)) (instance ?CV CVJoint) (connectedEngineeringComponents ?SH1 ?CV) (connectedEngineeringComponents ?SH2 ?CV) (holdsDuring (WhenFn ?R1) (equal (MeasureFn ?N RevolutionsPerMinute) (RotationFn ?R1)))) (holdsDuring (WhenFn ?R2) (equal (MeasureFn ?N RevolutionsPerMinute) (RotationFn ?R2)))) |
Cars.kif 1958-1984 | If All of the following hold: (1) X is an instance of shaft (2) Y is an instance of shaft (3) equal X and Y (4) Z is an instance of rotating (5) X is a patient of Z (6) W is an instance of rotating (7) Y is a patient of W (8) Z causes W (9) equal the time of existence of Z and the time of existence of W (10) V is an instance of C.V. joint (11) X is connected to V (12) Y is connected to V (13) equal U revolutions per minute(s) and the rotation of Z during holds during the time of existence of Z, then equal U revolutions per minute(s) and the rotation of W during holds during the time of existence of 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 |
|
|
| (=> (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) (equal (WhenFn ?R1) (WhenFn ?R2)) (instance ?CV CVJoint) (connectedEngineeringComponents ?SH1 ?CV) (connectedEngineeringComponents ?SH2 ?CV) (holdsDuring (WhenFn ?R1) (equal (MeasureFn ?N RevolutionsPerMinute) (RotationFn ?R1)))) (holdsDuring (WhenFn ?R2) (equal (MeasureFn ?N RevolutionsPerMinute) (RotationFn ?R2)))) |
Cars.kif 1958-1984 | If All of the following hold: (1) X is an instance of shaft (2) Y is an instance of shaft (3) equal X and Y (4) Z is an instance of rotating (5) X is a patient of Z (6) W is an instance of rotating (7) Y is a patient of W (8) Z causes W (9) equal the time of existence of Z and the time of existence of W (10) V is an instance of C.V. joint (11) X is connected to V (12) Y is connected to V (13) equal U revolutions per minute(s) and the rotation of Z during holds during the time of existence of Z, then equal U revolutions per minute(s) and the rotation of W during holds during the time of existence of W |
|