Another way to say "Dry ice is frozen carbon dioxide." is "When carbon dioxide is frozen, the result is called dry ice."