Industrial oils and greases; industrial lubricants, namely, lubricants for lubrication of engines/spindles at high-frequency; industrial lubricants, namely, lubricants for lubrication and cooling systems for machine tools