I would say there is, but if you mean a institutionalized art form than I would say NO. EXCEPT what is currently taught in the Korean or other militarys in the world.
One of my student's father was in the Korean military and he was watching my classes and he told me briefly about his training and said it was all about SD and fighting hand to hand. From the sounds of it pretty basic and hard style stuff. Nothing real flashy, except for the demo teams.
Any military will use any thing that works from a martial art, if it helps them meet their objective, training the soldier to capture, hurt, maim, or kill the enemy and win, then it would be called combat insert name here in my book. But the military objective for the system of combat is different than the civilian version of a martial art.