Mine, mines, miners or mining may refer to:
==Extraction or digging== Miner, a person engaged in mining or digging Mining, extraction of mineral resources from the ground through a mine
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).