Super Mario World is a platform game made by Nintendo for the Super NES system . , also formerly known by the subtitle Super Mario Bros. 4 in Japan , is a platform video game developed and published by Nintendo as a pack-in launch title for the Super Famicom\/Super Nintendo Entertainment System ( SNES ) , and is the seventh game in the Super Mario series .