What was the earliest name for oil?

the exploitation of natural gas in ancient China was also the earliest in the world. Ziliujing gas field, located in Zigong, Sichuan, is the earliest developed gas field. Natural gas was discovered in artesian wells as far back as the Han Dynasty, but it was mainly salt mining before the 13th century. In ancient times, oil was once called stone paint, stone grease water, water and so on. In the 11th century A.D., Shen Kuo (131-195), an outstanding scientist in the Northern Song Dynasty, made some observation and research on the natural oil, and officially named it "Oil". He wrote in his "Mengxi Bi Tan": "There is oil in Fuyan, and the old saying that Gao Nu County produces stone grease water is also here." Another cloud says, "Born in the water, it is mixed with the spring water, and it comes out disconsolately ... This thing will be popular in the world, and it will be done since it was given. At most, oil is born in the earth, and it will be exhausted from time to time if it is not loose. " Foreseeing the huge amount of oil and its wide use.