I don't know why we are making this arbitrary distinction between Mario games and Donkey Kong games.

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" .