• @[email protected]
    link
    fedilink
    2322 days 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.

    • @[email protected]
      link
      fedilink
      English
      422 days ago

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

    • @[email protected]
      link
      fedilink
      -122 days ago

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

      • @[email protected]
        link
        fedilink
        122 days 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.