Dutch nouns

This file records the Dutch noun as a lexical entry. An entry is the root GenderedNoun over the two genders of Dutch.Gender, which a numeral counts directly or not at all, with its plural and diminutive where the entry records them; names are the root ProperName. The definite article a noun takes, Noun.definiteArticle, is read off its gender through Dutch.Determiners.singular. Bare plurals and bare mass nouns are arguments and bare singular count nouns are not. The entries are the nouns of Le Bruyn and de Swart's scrambling data and the nouns with which Broekhuis and Corver's grammar shows the attributive ending of the adjective.

References

• H. Broekhuis and N. Corver, Syntax of Dutch, Volume V: Nouns and Noun Phrases 2: Prenominal Elements, Pronouns and Syntactic Uses of Noun Phrases (2026)
• H. Broekhuis and N. Corver, Syntax of Dutch, Volume VI: Adjectives and Adjective Phrases (2026)
• B. Le Bruyn and H. de Swart, Exceptional wide scope of bare nominals (2022)

structure Dutch.Nouns.Nounextends GenderedNoun Dutch.Gender.Value, ClassifiedNoun Empty : Type

A Dutch noun is the root gendered entry, which a numeral counts directly or not at all, with its plural and diminutive where recorded.

• form : String
• gloss : String
• gender : Dutch.Gender.Value
• naturalGender : Option Gender
• counters : Finset (Option Empty)
• plural : Option String

  The plural.

• diminutive : Option String

  The diminutive.

def Dutch.Nouns.instDecidableEqNoun.decEq (x✝ x✝¹ : Noun) : Decidable (x✝ = x✝¹)

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Dutch.Nouns.instDecidableEqNoun : DecidableEq Noun

Equations

• Dutch.Nouns.instDecidableEqNoun = Dutch.Nouns.instDecidableEqNoun.decEq

def Dutch.Nouns.Noun.definiteArticle (n : Noun) : String

A noun takes the definite article het in the singular when it is neuter and de when it is of common gender.

Equations

• n.definiteArticle = Dutch.Determiners.singular n.gender Dutch.Determiners.Target.definite

Count nouns

def Dutch.Nouns.boek : Noun

boek 'book', neuter.

Equations

• Dutch.Nouns.boek = { form := "boek", gloss := "book", gender := Dutch.Gender.Value.neuter, plural := some "boeken", diminutive := some "boekje" }

def Dutch.Nouns.mens : Noun

mens 'human', of common gender and of either natural gender.

Equations

• Dutch.Nouns.mens = { form := "mens", gloss := "human", gender := Dutch.Gender.Value.common, naturalGender := some Gender.common, plural := some "mensen" }

def Dutch.Nouns.geest : Noun

geest 'ghost', of common gender.

Equations

• Dutch.Nouns.geest = { form := "geest", gloss := "ghost", gender := Dutch.Gender.Value.common, plural := some "geesten" }

def Dutch.Nouns.student : Noun

student 'student', of common gender and of either natural gender.

Equations

• Dutch.Nouns.student = { form := "student", gloss := "student", gender := Dutch.Gender.Value.common, naturalGender := some Gender.common, plural := some "studenten" }

def Dutch.Nouns.hond : Noun

hond 'dog', of common gender.

Equations

• Dutch.Nouns.hond = { form := "hond", gloss := "dog", gender := Dutch.Gender.Value.common, plural := some "honden", diminutive := some "hondje" }

def Dutch.Nouns.kat : Noun

kat 'cat', of common gender.

Equations

• Dutch.Nouns.kat = { form := "kat", gloss := "cat", gender := Dutch.Gender.Value.common, plural := some "katten", diminutive := some "katje" }

def Dutch.Nouns.film : Noun

film 'film', of common gender.

Equations

• Dutch.Nouns.film = { form := "film", gloss := "film", gender := Dutch.Gender.Value.common, plural := some "films", diminutive := some "filmpje" }

def Dutch.Nouns.stoel : Noun

stoel 'chair', of common gender, de oude stoel 'the old chair'.

Equations

• Dutch.Nouns.stoel = { form := "stoel", gloss := "chair", gender := Dutch.Gender.Value.common, plural := some "stoelen" }

def Dutch.Nouns.paard : Noun

paard 'horse', neuter, het oude paard 'the old horse'.

Equations

• Dutch.Nouns.paard = { form := "paard", gloss := "horse", gender := Dutch.Gender.Value.neuter, plural := some "paarden" }

def Dutch.Nouns.jas : Noun

jas 'coat', of common gender, een oranje jas 'an orange coat'.

Equations

• Dutch.Nouns.jas = { form := "jas", gloss := "coat", gender := Dutch.Gender.Value.common, plural := some "jassen" }

def Dutch.Nouns.ring : Noun

ring 'ring', of common gender, de gouden ring 'the golden ring'.

Equations

• Dutch.Nouns.ring = { form := "ring", gloss := "ring", gender := Dutch.Gender.Value.common, plural := some "ringen" }

Mass nouns

def Dutch.Nouns.water : Noun

water 'water', neuter.

Equations

• Dutch.Nouns.water = { form := "water", gloss := "water", gender := Dutch.Gender.Value.neuter, counters := ∅ }

def Dutch.Nouns.goud : Noun

goud 'gold', neuter.

Equations

• Dutch.Nouns.goud = { form := "goud", gloss := "gold", gender := Dutch.Gender.Value.neuter, counters := ∅ }

def Dutch.Nouns.meel : Noun

meel 'flour', neuter.

Equations

• Dutch.Nouns.meel = { form := "meel", gloss := "flour", gender := Dutch.Gender.Value.neuter, counters := ∅ }

def Dutch.Nouns.rijst : Noun

rijst 'rice', of common gender, de lekkere rijst 'the tasty rice'.

Equations

• Dutch.Nouns.rijst = { form := "rijst", gloss := "rice", gender := Dutch.Gender.Value.common, counters := ∅ }

def Dutch.Nouns.bier : Noun

bier 'beer', neuter, het lekkere bier 'the tasty beer' but lekker bier.

Equations

• Dutch.Nouns.bier = { form := "bier", gloss := "beer", gender := Dutch.Gender.Value.neuter, counters := ∅ }

Proper names

def Dutch.Nouns.name (form : String) (gender : Gender) : ProperName

A personal name with its natural gender.

Equations

• Dutch.Nouns.name form gender = { form := form, gloss := form, gender := some gender }

def Dutch.Nouns.helen : ProperName

Helen.

Equations

• Dutch.Nouns.helen = Dutch.Nouns.name "Helen" Gender.feminine

def Dutch.Nouns.jan : ProperName

Jan.

Equations

• Dutch.Nouns.jan = Dutch.Nouns.name "Jan" Gender.masculine

def Dutch.Nouns.piet : ProperName

Piet.

Equations

• Dutch.Nouns.piet = Dutch.Nouns.name "Piet" Gender.masculine

def Dutch.Nouns.marie : ProperName

Marie.

Equations

• Dutch.Nouns.marie = Dutch.Nouns.name "Marie" Gender.feminine