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

Context paragraphs:
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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Supporting paragraphs: Adventure Time Ice King
Answer: antagonist