[693] Pumpen, 1) eine Pumpe bewegen u. sie ihrem Zwecke gemäß gebrauchen; 2) (Buchb.), mäßig schlagen; 3) Fische u. Krebse mit der Fischtrampe aus ihren Löchern jagen.
Adelung-1793: Pumpen
Lueger-1904: Pumpen [2] · Pumpen [1] · Dampfstrahlluftverdichter, -luftverdünner, -pumpen
Meyers-1905: Pumpen
Roell-1912: Pumpen