noun

a coal mine and the buildings and equipment associated with it.