pump_house
1. [ noun ] (architecture) a house where pumps (e.g. to irrigate) are installed and operated
Synonyms: pumping_station
Related terms: house pump_room