[814] Bohrklippe, im Bergbau eine Zange, womit zerbrochene Bohrer aus dem Bohrloche genommen werden.
Adelung-1793: Bohrklippe, die