[1726] Die Kornmühle, plur. die -n, eine Getreidemühle, Mahlmühle; zum Unterschiede von einer Öhlmühle, Sägemühle und so ferner.