The Muppets the Muppets film and television library. Exceptions included the "Sesame Street" characters, which were previously sold to Sesame Workshop; the "Fraggle Rock" characters, which were retained by Henson; and the distribution rights to "The Muppets Take Manhattan", "Muppets from Space", and "Kermit's Swamp Years," which were retained by Sony Pictures Entertainment. Following the acquisition, Disney formed The Muppets Holding Company (later known as The Muppets Studio), a wholly owned subsidiary responsible for managing the characters and franchise. As a result, the term "Muppet" became a legal trademark of Disney; under license from Disney, Sesame Workshop continues to use the term
The Muppets Studios (known then as Disney-MGM Studios) for a year. Muppet*Vision 3D, a 4D film attraction that uses audio-animatronic Muppets and 4D effects, then opened at Disney's Hollywood Studios on May 16, 1991. The attraction is notable for being the final Muppets project to be produced by Jim Henson. Muppet*Vision 3D had a subsequent opening at Disney California Adventure, on February 8, 2001, and operated there until its closure in 2014. In addition to their main presence at Disney's Hollywood Studios, the Muppets also appear in "Great Moments in American History", a live show at the Magic Kingdom and the Muppet