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