gathering pump

gathering pump

[′gath·ə·riŋ ‚pəmp]
(mining engineering)
A portable or semiportable pump that is required for removing water encountered while opening a new mine, for extending headings or entries in an operating mine, for pump rooms or rib sections lying in the dip, for collecting water from local pools, or for sinking a shaft.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.