[614] Ziehhaken, ein Werkzeug, mit welchem die einzelnen Stücke des Bergbohrers aus dem Bohrloche gezogen werden; unten mit einer Schraubenmutter zum Aufschrauben auf die Stücken des Bohrers, oben mit einem Haken zum Anschlingen an das Seil.
Adelung-1793: Ziehhaken, der