Yes, I understand the distinction between the sport judo and other martial art sports is that in things like karate and taekwondo, you actually train to do fighting maneouvres which you are not allowed to use in tournaments. In judo you don't learn such things. But karate and taekwondo are sports derived from martial arts too, as, I suppose, since I'm splitting hairs, are archery, rifle shooting, and fencing.