bor

[Indonesia-Belanda] gerudi, jara, penggerek;

mengebor menggerudi, menggerek lubang;

pengeboran
1. perihal mengebor;

2. tempat mengebor (untuk mencari minyak dalam tanah);

pengebor orang yang mengebor (menggerudi), penggerudi.