Industrial greases, lubricating oils, industrial lubricants and industrial oils, all for use in connection with machine tools