[Achtung: Schreibweise von 1811] Die Tagepumpe, plur. die -n, im Bergbaue, eine Pumpe, welche von Tage, d. i. von der Oberfläche der Erde in die Grube gerichtet ist, und ihr Wasser auch am Tage wieder ausgießt; zum Unterschiede von solchen, welche es in die Stollen oder Strecken ausgießen.