mine (place)

An excavation site where mining operation took place.

See also

• minecart
• miner
• mining