jump to corresponding sense entry
noun
A tool for shaping metal.
is a specific kind of: tool.
is a broader term that covers: die.
Find more on shaping tool elsewhere: etymology - rhymes - Wikipedia.
debug info: 0.0263