Original: Mining in a wider sense comprises extraction of any non-renewable resource (e.g., petroleum, natural gas, or even water).
Simplified: Mining things from the ground is called extraction.