[803] Die Polier-Mühle, plur. die -n, eine eigene Mühle, Gewehr, Harnische und Eisengeräth darauf zu polieren.
Adelung-1793: Polier-Feile, die · Mühle, die · Polier-Stock, der · Polier-Strauch, der · Polier-Zahn, der · Polier-Hammer, der · Polier-Meister, der · Polier-Stahl, der
Pataky-1898: Polier, Marie Elisabeth · Mühle, Wilh. von der · Mühle, Wilh. von der
Pierer-1857: Polier · Mühle [4] · Oberschlächtige Mühle · Mühle [3] · Amerikanische Mühle · Mühle [1] · Mühle [2]