A mine is said to be gassy when it gives off methane or other gas in quantities that must be diluted with pure air to prevent occurrence of explosive mixtures.