释义 |
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. |