miner
noun (miner, miners)
Everyday
- A miner is a person who digs under the ground to get coal, gold, metal or stones. tree →
- In old stories miners used picks, lamps and carts in dark tunnels. tree →
In the lessons
a person in the story; miners can be counted, or they dig or find amounts of gold, coal or rock; in history and science miners get minerals and fuel from the earth; phrases «coal miner», «gold miner», «gold rush»
Examples
- There are 12 miners in the mine. tree →
- Each miner digs 3 tons of coal a day. tree →
- A miner found 8 gold nuggets. tree →
- The miners shared the gold equally. tree →
- Miners wear helmets with lamps on them. tree →
- During the gold rush, many miners came to the river. tree →
- The canary warned the miners about bad air. tree →
- The miner pushed the cart out of the tunnel. tree →
Note
A thing counted (people) or the one who acts. «Each miner» with an amount gives a rate, total = rate × miners. Trap: do not mix up miner (a digger) and minor (small, or a child under the law).
On Mova
- Trees and pragmatics of «miner» in the school dictionary: every meaning and example parsed by Mova, with its dependency tree and frames.
- «miner» in the school dictionary on Mova free.
This page in Markdown → https://md.dictionary.elamur.ai/free/en/english/miner/