mining building definition

mining building means a building or the part thereof used for mining or otherwise extracting minerals or aggregates including vehicle and equipment storage and maintenance buildings;