Trademarks owned by Kokusai Semiconductor Equipment Corporation