| Webster's Online Dictionary |
| Expressions | Domain | Definition | |
| Hot miller | Mining | A tool operated by compressed air, fitted with cutting wheels that mill the hot cutting edges or rock drill bits to the required angle. See also: detachable bit. (references) | |
Source: compiled by the editor from various references; see credits. | Top | ||
