工业和矿业的合称～企业。