Another way to say "Dry ice is frozen carbon dioxide." is "If you freeze carbon dioxide, it is called dry ice."