you have it backwards . the game was "a Mario game", but it was called "Donkey Kong", so it comes under Donkey Kong franchise.
But if we are the main Mario franchise games are the "Super Mario" games. Donkey Kong is not part of the "Super Mario" series and his "Mario" is not "Super" .