= cutting oil n. (see also quot. 1963).
a preparation for the lubrication and cooling of the tool and the piece of metal being cut or worked in various machining operations.
A cooling agent; spec. (a) a liquid used to cool and lubricate a cutting tool; (b) a liquid or gas used to remove heat from an engine or a nuclear…