Bosnian/Croatian/Serbian nouns by gender and humanness

The nouns of [AA25]'s Bosnian/Croatian/Serbian examples with their grammatical gender and whether they denote humans; neuter nouns are mass or collective.

References

• [AA25]

structure Serbian.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 Serbian.Gender.instDecidableEqNoun : DecidableEq Noun

Equations

• Serbian.Gender.instDecidableEqNoun = Serbian.Gender.instDecidableEqNoun.decEq

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

Equations

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

@[instance_reducible]

instance Serbian.Gender.instReprNoun : Repr Noun

Equations

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

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

Equations

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

@[instance_reducible]

instance Serbian.Gender.instHasGenderNoun : HasGender Noun

Equations

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

def Serbian.Gender.muskarac : Noun

Equations

• Serbian.Gender.muskarac = { form := "muškarac", gloss := "man", gender := Gender.masculine, isNaturalGender := true, human := true }

def Serbian.Gender.zena : Noun

Equations

• Serbian.Gender.zena = { form := "žena", gloss := "woman", gender := Gender.feminine, isNaturalGender := true, human := true }

def Serbian.Gender.covek : Noun

Equations

• Serbian.Gender.covek = { form := "čovek", gloss := "person, man", gender := Gender.masculine, isNaturalGender := true, human := true }

def Serbian.Gender.znanje : Noun

Equations

• Serbian.Gender.znanje = { form := "znanje", gloss := "knowledge", gender := Gender.neuter, human := false }

def Serbian.Gender.intuicija : Noun

Equations

• Serbian.Gender.intuicija = { form := "intuicija", gloss := "intuition", gender := Gender.feminine, human := false }

def Serbian.Gender.selo : Noun

Equations

• Serbian.Gender.selo = { form := "selo", gloss := "village", gender := Gender.neuter, human := false }

def Serbian.Gender.brdo : Noun

Equations

• Serbian.Gender.brdo = { form := "brdo", gloss := "hill", gender := Gender.neuter, human := false }

def Serbian.Gender.knjiga : Noun

Equations

• Serbian.Gender.knjiga = { form := "knjiga", gloss := "book", gender := Gender.feminine, human := false }

def Serbian.Gender.pesak : Noun

Equations

• Serbian.Gender.pesak = { form := "pesak", gloss := "sand", gender := Gender.masculine, human := false }

def Serbian.Gender.mleko : Noun

Equations

• Serbian.Gender.mleko = { form := "mleko", gloss := "milk", gender := Gender.neuter, human := false }