My understanding is that Tomiki's 17 basic techniques were taken from judo to form his style of aikido.

Not sure where you get the idea that these techniques come from Judo. In the broader sense there are no techniques in Aikido that are not found somewhere else in the realm of jujutsu but what Tomiki did do is bring back some of those techniques into Judo via the Goshin no Kata. Those were clearly derived from Aikido.