| 释义 |
rock saw rock saw[′räk ‚sȯ] (mining engineering) A type of mechanical miner that is used to remove large blocks of material; cuts narrow slots or channels by the action of a moving steel band or blade and a slurry of abrasive particles (sometimes diamonds) rather than teeth; small flame jets are also used. |