de gokhal zelfst.naamw. Verbuigingen: gokhallen Verbuigingen: gokhalletje een openbare instelling waar men kan gokken met behulp van gokautomaten Synoniemen: speelhuis 
1) Speelgelegenheid 2) Speelhuis 3) Casino 4) Waagruimte 5) Wedinrichting 6) Gokplaats 7) Gokgelegenheid