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