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.