That's about it.
Of course you didn't properly distinguish between the three differente AIncs (a lesser sin). The last Amiga patent expired in 2010 afaik. Almost all trademarks have expired.
It is unclear who really owns AmigaOS and Kickstart right now. ESCOM did not own them in the first place.
For an in-depth discussion see http://sites.google.com/site/freeamiga