Its standard HR policy, any company I've ever been at the HR policy bans "weapons such as guns, knives, ...". They don't define the difference between tool and weapon (IMHO they are all tools until they are used as a weapon and many other things can be used as a weapon besides the items HR calls weapons).