Is the original Thinking Machines trademark[0] no longer active? They were the original AI company, back when AI was a completely different thing than it is tod

Is the original Thinking Machines trademark[0] no longer active? They were the original AI company, back when AI was a completely different thing than it is today. [0] https://en.m.wikipedia.org/wiki/Thinking_Machines_Corporation https://en.m.wikipedia.org/wiki/Thinking_Machines_Corporatio...