<human>: Question: Where was the first Rock Oil mine built?

Is The modern petroleum industry started in 1846 with the discovery of the process of refining kerosene from coal by Nova Scotian Abraham Pineo Gesner. a good answer to this question?

OPTIONS:
- yes
- no
<bot>: no