hogger pump

English edit

Noun edit

hogger pump (plural hogger pumps)

(mining) The forepump in the pit of a mine.^[1]

References edit

^ Rossiter W[orthington] Raymond (1881) “Hogger pump”, in A Glossary of Mining and Metallurgical Terms. […], Easton, Pa.: [American] Institute [of Mining Engineers], […], →OCLC.

Part or all of this entry has been imported from the 1913 edition of Webster’s Dictionary, which is now free of copyright and hence in the public domain. The imported definitions may be significantly out of date, and any more recent senses may be completely missing.
(See the entry for “hogger pump”, in Webster’s Revised Unabridged Dictionary, Springfield, Mass.: G. & C. Merriam, 1913, →OCLC.)

[1] Rossiter W[orthington] Raymond (1881) “Hogger pump”, in A Glossary of Mining and Metallurgical Terms. […], Easton, Pa.: [American] Institute [of Mining Engineers], […], →OCLC.

[1]