释义 |
overall drilling time overall drilling time[¦ō·vər¦ȯl ′dril·iŋ ‚tīm] (mining engineering) The total time for rock drilling including time for setting up, withdrawing, and moving drills, time for mechanical delays, and the time for the actual drilling. |