A MIDI sound file that contains MIDI messages. MIDI files have a .MID extension. A variation of this format is the RIFF MIDI file, which uses the .RMI extension. The format of a Standard MIDI File ...