roughing pump (English, noun)
expansion: roughing pump (plural roughing pumps)
Senses:
glosses: A type of vacuum pump that is used to achieve rough vacuum from initial atmospheric pressure.
Forms:
form: roughing pumps
tags: plural