a general term for tools used in machining to cut, such as planers, drills, and milling cutters; also called 刀具 dāo​jù