Question: The animated television series where Finn and Jake interact with Princess Bubblegum and a character who is technically a what?

full_context: Document 1: Adventure Time (pilot): "Adventure Time" is an animated short created by Pendleton Ward, as well as the pilot to the Cartoon Network series of the same name. The short follows the adventures of Pen (voiced by Zack Shada), a human boy, and his best friend Jake (voiced by John DiMaggio), a dog with magical powers to change shape and grow and shrink at will. In this episode, Pen and Jake have to rescue Princess Bubblegum (voiced by Paige Moss) from the antagonistic Ice King (voiced by John Kassir).
Document 2: Adventure Time (season 3): The third season of "Adventure Time", an American animated television series created by Pendleton Ward, premiered on Cartoon Network on July 11, 2011 and concluded on February 13, 2012. The season was produced by Cartoon Network Studios and Frederator Studios. The season follows the adventures of Finn, a human boy, and his best friend and adoptive brother Jake, a dog with magical powers to change shape and size at will. Finn and Jake live in the post-apocalyptic Land of Ooo, where they interact with the other main characters of the show: Princess Bubblegum, The Ice King, Marceline the Vampire Queen, Lumpy Space Princess, and BMO.
Document 3: Adventure Time (season 8): The eighth season of "Adventure Time", an American animated television series created by Pendleton Ward, premiered on Cartoon Network on March 26, 2016 and concluded on February 2, 2017. The season was produced by Cartoon Network Studios and Frederator Studios. The season follows the adventures of Finn, a human boy, and his best friend and adoptive brother Jake, a dog with magical powers to change shape and size at will. Finn and Jake live in the post-apocalyptic Land of Ooo, where they interact with the other main characters of the show: Princess Bubblegum, The Ice King, Marceline the Vampire Queen, Lumpy Space Princess, BMO, and Flame Princess.
Document 4: Adventure Time (season 1): The first season of "Adventure Time", an American animated television series created by Pendleton Ward, premiered on Cartoon Network on April 5, 2010 and concluded on September 27, 2010. The season was produced by Cartoon Network Studios and Frederator Studios. The series is based on a short produced for Frederator's Nicktoons Network animation incubator series "Random! Cartoons". The season follows the adventures of Finn, a human boy, and his best friend and adoptive brother Jake, a dog with magical powers to change shape and size at will. Finn and Jake live in the post-apocalyptic Land of Ooo, where they interact with the other main characters of the show: Princess Bubblegum, The Ice King, Marceline the Vampire Queen, Lumpy Space Princess, and BMO.
Document 5: Elements (miniseries): Elements is an American animated miniseries based on the show "Adventure Time" by Pendleton Ward. It aired as part of the show's ninth season on Cartoon Network from April 24 to April 27, 2017. "Adventure Time" follows the adventures of Finn (voiced by Jeremy Shada), a human boy, and his best friend and adoptive brother Jake (voiced by John DiMaggio), a dog with magical powers to change shape, grow and shrink at will. In this limited event series, which itself follows the events of the "Islands" miniseries, Finn, Jake, and BMO return home to discover that Ooo has been turned into a veritable dystopia thanks to extreme elemental magic. Finn and Jake team up with Ice King (voiced by Tom Kenny), Betty (voiced by Felicia Day), and Lumpy Space Princess (voiced by Ward) to set things straight.
Document 6: Adventure Time: Adventure Time is an American animated television series created by Pendleton Ward for Cartoon Network. It follows the adventures of a boy named Finn (voiced by Jeremy Shada) and his best friend and adoptive brother Jake (John DiMaggio)— a dog with the magical power to change shape and size at will. Finn and Jake live in the post-apocalyptic Land of Ooo, where they interact with Princess Bubblegum (Hynden Walch), the Ice King (Tom Kenny), Marceline the Vampire Queen (Olivia Olson), BMO (Niki Yang), and others. The series is based on a 2007 short produced for Nicktoons and Frederator Studios' animation incubator series "Random! Cartoons". After the short became a viral hit on the Internet, Cartoon Network commissioned a full-length series, which previewed on March 11, 2010, and officially premiered on April 5, 2010.
Document 7: Adventure Time (season 7): The seventh season of "Adventure Time", an American animated television series created by Pendleton Ward, premiered on Cartoon Network on November 2, 2015 and concluded on March 19, 2016. The season was produced by Cartoon Network Studios and Frederator Studios. The season follows the adventures of Finn, a human boy, and his best friend and adoptive brother Jake, a dog with magical powers to change shape and size at will. Finn and Jake live in the post-apocalyptic Land of Ooo, where they interact with the other main characters of the show: Princess Bubblegum, The Ice King, Marceline the Vampire Queen, Lumpy Space Princess, BMO, and Flame Princess.
Document 8: Adventure Time (season 6): The sixth season of "Adventure Time", an American animated television series created by Pendleton Ward, premiered on Cartoon Network on April 21, 2014 and concluded on June 5, 2015. The season was produced by Cartoon Network Studios and Frederator Studios. The season follows the adventures of Finn, a human boy, and his best friend and adoptive brother Jake, a dog with magical powers to change shape and size at will. Finn and Jake live in the post-apocalyptic Land of Ooo, where they interact with the other main characters of the show: Princess Bubblegum, The Ice King, Marceline the Vampire Queen, Lumpy Space Princess, BMO, and Flame Princess.
Document 9: Adventure Time (season 5): The fifth season of "Adventure Time", an American animated television series created by Pendleton Ward, premiered on Cartoon Network on November 12, 2012 and concluded on March 17, 2014. The season was produced by Cartoon Network Studios and Frederator Studios. The season follows the adventures of Finn, a human boy, and his best friend and adoptive brother Jake, a dog with magical powers to change shape and size at will. Finn and Jake live in the post-apocalyptic Land of Ooo, where they interact with the other main characters of the show: Princess Bubblegum, The Ice King, Marceline the Vampire Queen, Lumpy Space Princess, BMO, and Flame Princess.
Document 10: Ice King: The Ice King is a character in the American animated television series "Adventure Time". A supposedly evil wizard capable of creating and manipulating ice and snow, he is the self-proclaimed king of the Ice Kingdom, a land of ice he claimed as his own where he lives in the company of many penguins. Although technically an antagonist, he sometimes helps the main characters and is the protagonist of several episodes focusing on his struggles or backstory. The character is voiced by Tom Kenny.
Document 11: List of Adventure Time episodes: "Adventure Time" is an American animated television series created by Pendleton Ward for Cartoon Network. The series follows the adventures of Finn (voiced by Jeremy Shada), a human boy, and his best friend and adoptive brother Jake (voiced by John DiMaggio), a dog with magical powers to change shape and grow and shrink at will. Finn and Jake live in the post-apocalyptic Land of Ooo. Throughout the series, they interact with the show's other main characters: Princess Bubblegum (voiced by Hynden Walch), the sovereign of the Candy Kingdom; the Ice King (voiced by Tom Kenny), a demented but largely misunderstood ice wizard; Marceline the Vampire Queen (voiced by Olivia Olson), a thousand-year-old vampire and rock music enthusiast; Lumpy Space Princess (voiced by Ward), a melodramatic and immature princess made out of "irradiated stardust"; BMO (voiced by Niki Yang), a sentient video game console-shaped robot that lives with Finn and Jake; and Flame Princess (voiced by Jessica DiCicco), a flame elemental and ruler of the Fire Kingdom. The pilot first aired in 2007, and it was later re-aired on the incubator series "Random! Cartoons" on Nicktoons Network. The pilot eventually leaked onto the internet and became a cult hit on YouTube. After Nickelodeon declined to turn the short into a full-fledged show, Cartoon Network purchased the rights, and "Adventure Time" launched as a series on April 5, 2010.
Document 12: Stakes (miniseries): Stakes is an American animated miniseries based on the show "Adventure Time" by Pendleton Ward. It aired as part of the show's seventh season from November 16, 2015 to November 19, 2015 on Cartoon Network. "Adventure Time" follows the adventures of Finn (voiced by Jeremy Shada), a human boy, and his best friend and adoptive brother Jake (voiced by John DiMaggio), a dog with magical powers to change shape, grow and shrink at will. In this limited event series, Princess Bubblegum (voiced by Hynden Walch) removes Marceline the Vampire Queen's (voiced by Olivia Olson) vampiric essence, which unleashes five recently resurrected vampires onto Ooo. Marceline, Bubblegum, Finn, Jake, and Peppermint Butler (voiced by Steve Little) are forced to deal with the fallout.
Document 13: Adventure Time (season 2): The second season of "Adventure Time", an American animated television series created by Pendleton Ward, premiered on Cartoon Network on October 11, 2010 and concluded on May 2, 2011. The season was produced by Cartoon Network Studios and Frederator Studios. The season follows the adventures of Finn, a human boy, and his best friend and adoptive brother Jake, a dog with magical powers to change shape and size at will. Finn and Jake live in the post-apocalyptic Land of Ooo, where they interact with the other main characters of the show: Princess Bubblegum, The Ice King, Marceline the Vampire Queen, Lumpy Space Princess, and BMO.
Document 14: Adventure Time (season 4): The fourth season of "Adventure Time", an American animated television series created by Pendleton Ward, premiered on Cartoon Network on April 2, 2012 and concluded on October 22, 2012. The season was produced by Cartoon Network Studios and Frederator Studios. The season follows the adventures of Finn, a human boy, and his best friend and adoptive brother Jake, a dog with magical powers to change shape and size at will. Finn and Jake live in the post-apocalyptic Land of Ooo, where they interact with the other main characters of the show: Princess Bubblegum, The Ice King, Marceline the Vampire Queen, Lumpy Space Princess, BMO, and Flame Princess.
Document 15: Adventure Time (season 9): The ninth and final season of "Adventure Time", an American animated television series created by Pendleton Ward, premiered on Cartoon Network on April 21, 2017. It is set to conclude sometime in 2018. The season was produced by Cartoon Network Studios and Frederator Studios. The season will follow the adventures of Finn, a human boy, and his best friend and adoptive brother Jake, a dog with magical powers to change shape and size at will. Finn and Jake live in the post-apocalyptic Land of Ooo, where they interact with the other main characters of the show: Princess Bubblegum, The Ice King, Marceline the Vampire Queen, Lumpy Space Princess, BMO, and Flame Princess.
ground_truth: antagonist