No. Splash it's a SE logo. It isn't animated. Animated is startup file (STARTUP_IMAGE_SEMC) ;)

STARTUP_IMAGE_SEMC and SHUTDOWN_IMAGE_SEMC are normal *gif without extension...