A mine from which coal ore or coal minerals are mined.
An underground coal mine, together with its surface buildings.
A facility that supplies coal.