mining (n.)youdaoicibaDictYouDict
1520s, verbal noun from mine (v.1).