I have to disagree.
.mid and .kar are not the same. .mid and .kar use different ways to encode the text. Yes, you can simply change the extension from .kar to .mid and it will play but it does not convert a .kar file to a .mid file. to change the encoding of the text one must use a program to convert the file. GNMIDI is a shareware program that has this function.