"De Kok" lijkt een soort versimpeling van "Kogjes". De naam 'Kogjesmolen' is evenwel ook in gebruik (geweest).