Icelandic nouns by gender and humanness

The nouns of [adamson-anagnostopoulou-2025]'s Icelandic examples with their grammatical gender and whether they denote humans, including the fixed-gender neuter skáld 'poet'.

References

• [adamson-anagnostopoulou-2025]

structure Icelandic.Gender.Nounextends GenderedNoun Gender : Type

A noun with its grammatical gender and whether it denotes a human.

• form : String
• gloss : String
• gender : Gender
• isNaturalGender : Bool
• human : Bool

  Whether the noun denotes a human; the natural-gender flag marks the humans whose gender is not fixed.

@[instance_reducible]

instance Icelandic.Gender.instDecidableEqNoun : DecidableEq Noun

Equations

• Icelandic.Gender.instDecidableEqNoun = Icelandic.Gender.instDecidableEqNoun.decEq

def Icelandic.Gender.instDecidableEqNoun.decEq (x✝ x✝¹ : Noun) : Decidable (x✝ = x✝¹)

Equations

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

def Icelandic.Gender.instReprNoun.repr : Noun → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Icelandic.Gender.instReprNoun : Repr Noun

Equations

• Icelandic.Gender.instReprNoun = { reprPrec := Icelandic.Gender.instReprNoun.repr }

@[instance_reducible]

instance Icelandic.Gender.instHasGenderNoun : HasGender Noun

Equations

• Icelandic.Gender.instHasGenderNoun = { genderOf := fun (n : Icelandic.Gender.Noun) => genderOf n.gender }

def Icelandic.Gender.madur : Noun

Equations

• Icelandic.Gender.madur = { form := "maður", gloss := "man", gender := Gender.masculine, isNaturalGender := true, human := true }

def Icelandic.Gender.kona : Noun

Equations

• Icelandic.Gender.kona = { form := "kona", gloss := "woman", gender := Gender.feminine, isNaturalGender := true, human := true }

def Icelandic.Gender.jon : Noun

Equations

• Icelandic.Gender.jon = { form := "Jón", gloss := "Jón", gender := Gender.masculine, isNaturalGender := true, human := true }

def Icelandic.Gender.skald : Noun

Fixed-gender human: neuter whatever the referent.

Equations

• Icelandic.Gender.skald = { form := "skáld", gloss := "poet", gender := Gender.neuter, human := true }

def Icelandic.Gender.fraegd : Noun

Equations

• Icelandic.Gender.fraegd = { form := "frægð", gloss := "fame", gender := Gender.feminine, human := false }

def Icelandic.Gender.frami : Noun

Equations

• Icelandic.Gender.frami = { form := "frami", gloss := "success", gender := Gender.masculine, human := false }

def Icelandic.Gender.skeid : Noun

Equations

• Icelandic.Gender.skeid = { form := "skeið", gloss := "spoon", gender := Gender.feminine, human := false }

def Icelandic.Gender.stoll : Noun

Equations

• Icelandic.Gender.stoll = { form := "stóll", gloss := "chair", gender := Gender.masculine, human := false }

def Icelandic.Gender.epli : Noun

Equations

• Icelandic.Gender.epli = { form := "epli", gloss := "apple", gender := Gender.neuter, human := false }