Is GIF an abbreviation?

yes, it stands for Graphic Interchange Format.

The files in the gif format have the .gif extension.