jump to corresponding sense entry
noun
A hand tool for cutting pipe.
is a specific kind of: hand tool.
Find more on pipe cutter elsewhere: etymology - rhymes - Wikipedia.
debug info: 0.0242