n. (Hira=こうぎょう) mining industry, extracting and processing of minerals and metals from the ground