Five of these kwans were established during the interval between World War II and the Korean War. During the Korean War, establishment of new schools was halted; at the conclusion of the war four new schools were established by students from the five original kwans. Collectively, these schools are referred to as the nine original kwans of taekwondo. Each kwan practiced its own style of martial art (the term "taekwondo" had not yet been coined) and employed their own set of forms. The majority of the forms used, however, derived from Shotokan karate. In many cases they were given new names. These forms are still used today in martial arts style such as Tang Soo Do, Soo Bahk Do, Moo Duk Kwan Taekwondo, and Chun Kuk Do. The article Karate kata lists many of the forms used in traditional taekwondo: