Definition
A specialization of both PhysicalDevice and Device_UserControlled (qq.v.). Each instance of Tool is a device that is used by people to manipulate or alter other objects or the immediate environment in some way. (Thus it does not include PomPoms, e.g.) Tools are typically controlled by their user during use and can be used more than once (so Tool is disjoint with Device_OneTimeUse). Tool includes devices used in many different activities, as shown by this sampling its subcollections: WoodworkingTool, PlumbingTool, some (but not all) kinds of MedicalDevices, CleaningImplement, and WritingImplement.
