Hoggerpipe \Hog"ger*pipe`\, n. (Mining) The upper terminal pipe of a mining pump. --Raymond.
版權所有 © 2024 3Dict.net