4. A common name for various machines which produce a manufactured
product, or change the form of a raw material by the continuous
repetition of some simple action; as, a sawmill; a stamping mill, etc.
5. A building or collection of buildings with machinery by which the
processes of manufacturing are carried on; as, a cotton mill; a powder
mill; a rolling mill.
6. (Die Sinking) A hardened steel roller having a design in relief,
used for imprinting a reversed copy of the design in a softer metal, as
copper.
7. (Mining) (a) An excavation in rock, transverse to the workings, from
which material for filling is obtained. (b) A passage underground
through which ore is shot.