AInc did not gave or sell those licenses so that they can not use them ifthey want? Or?
Exactly.
Amiga.Inc owns Amiga OS name, but it is EXCLUSIVELY licenced to Hyperion. Amiga.Inc can´t even use such names (eg. AmigaOS/Amiga OS/Amiga Operating System).
Also OS3 source code licence for Hyperion is exclusive - no-one (except Hyperion) can use original Amiga OS source codes.