[Lord Azagthoth]

I've broken my brains about these names too and finally replaced them.

Boxing with Punching
Judo with Grappling & Throwing
Karate with Striking
Sumo with Grappling & Pushing
Wrestling with Grappling & Pinning

I then could the above names for Arts/Sports/styles and my players who wanted to be a master in a certain kind of martial arts other than one of the standard used names were more satisfied (a player wanted to play a Kung Fu master during the Japanese oppression in the late thirties and he was opposed in taking the Karate skill).