Mine - Deposit in which minerals or ore is or was industrially extracted. (See Finding minerals for more information about mines.)