煤气是一种有刺鼻性气味的气体。