(mining) An inflammable gas (mostly methane) found in coal mines; forms an explosive mixture with air.