| Kinderen |
| | 1. Rijckje de Koning, ged. 15 feb 1676, Renswoude ovl. Ja, datum echter onbekend |
| | 2. Willem de Koning, ged. 25 mei 1679, Renswoude ovl. vóór 20 mei 1731 (Leeftijd ~ 51 jaar) |
| | 3. Jan de Koning, ged. 4 apr 1681, Renswoude ovl. Ja, datum echter onbekend |
| | 4. Gijsbertje de Koning, ged. 20 mei 1683, Renswoude ovl. Ja, datum echter onbekend |
| | 5. Cornelis de Koning, ged. 20 jan 1687, Renswoude ovl. Ja, datum echter onbekend |
| | 6. Tijs de Koning, ged. 17 feb 1689, Renswoude ovl. Ja, datum echter onbekend |
| | 7. Cornelisje de Koning, ged. 27 sep 1691, Renswoude ovl. Ja, datum echter onbekend |
| | 8. Theunis de Koning, ged. 17 sep 1693, Renswoude ovl. Ja, datum echter onbekend |
| | 9. Cornelis de Koning, ged. 14 jun 1696, Renswoude ovl. Ja, datum echter onbekend |
|