Cutting fluids; Cutting oil for industrial metal working; Cutting oils; Mineral oil for use in the manufacture of metal cutting fluids