Both .xmi and .midi files are just different kinds of MIDI instrumental music, in case of .xmi files these are from Miles Sound System solutions.
It makes sense for some users to look for a way to export of save these as standard MIDI files which can be done either with audio editors like Awave Studio, or with the help of legacy utilities such as the xmi to midi converter for MS-DOS (might require virtual machine/DOSBox).