In Korean martial arts such as taekwondo and Tang Soo Do, the word "hyung" or "hyeong" is usually employed, though in some cases other words are used. The International Taekwon-Do Federation uses the word "tul", while the World Taekwondo Federation uses the word "poomsae" or simply the English translations "pattern" or "form." Taekwondo patterns have multiple variations including "Palgwe" and the more popular "Taeguk" forms used by the WTF. Forms are included in certain taekwondo competitions and are a key element of gradings.