The TK95 microcomputer was the evolution of the TK90X made in the second half of the 1980s by Microdigital Eletronica, a company located at São Paulo, Brazil that manufactured some ZX81 clones before (TK82, TK82C, TK83 and TK85) and a ZX80 clone (TK80). The first version was launched in November 1986.
The TK90X was made before the TK95.
( z1 make :ARG1 ( z2 aircraft-type :name ( z3 name :op "TK90X" ) ) :time ( z4 before :op ( z5 aircraft-type :name ( z6 name :op "TK95" ) ) ) )