| 释义 |
rope drilling
noun
Etymology: drilling from gerund of drill
: a method of sinking wells or making bore-holes in which the tools are attached to the lower end of a rope or cable and lifted and dropped alternately — called also cable drilling, cable system, percussion drilling |