cutting oil


noun

a specially prepared oil used as a cutting fluid.

Origin of cutting oil

First recorded in 1915–20