Even if Amiga Inc are a dormant business entity, their IP is still protected.
That depends on the IP in question, there are different laws and regulations for patents, copyrights, trademarks, slogans etc.
Btw. it seems to me that "AmigaOS" is not registered as a trademark at USPTO, and I don't find any "Boing Ball" either... hm?
