"boreindustri" er et 12-bokstavers substantiv som brukes som synonym for "boreselskap". boreselskap betyr: Industri som produserer utstyr for boring.