• Lembot_0002@lemm.ee
    link
    fedilink
    arrow-up
    22
    ·
    13 hours ago

    “Is Pluto a planet?” problem, I suppose. I doubt that there is a precise, strict definition, so those seas are called that because “it happened this way historically” and there is no real need to change that.

    • Onomatopoeia@lemmy.cafe
      link
      fedilink
      English
      arrow-up
      4
      ·
      13 hours ago

      I’ve seen a diagrammatic chart showing the difference, but damned if I can find it on my phone.

    • Flemmy@lemm.ee
      link
      fedilink
      arrow-up
      1
      ·
      11 hours ago

      It changes nothing that’s why avoid anyone bring “about Pluto” discussions it’s a waste of time.

      • Lembot_0002@lemm.ee
        link
        fedilink
        arrow-up
        1
        ·
        11 hours ago

        It might be more difficult in the case of seas. There may be some international norms on where the borders should be. So sea vs. gulf might bring real problems with it. Nobody wants that (except for Putin-Trump crazies)

        But I’m not a specialist. Maybe it won’t change anything.