noun (in a core drill) a length of pipe for holding rock cores while they are being extracted from the drill hole.