Shona nouns

Nouns of the class system, each with its gender and the kind of entity it denotes: the lexicon behind the conjoined-subject agreement data of Carstens. The class 12 diminutives ka-sikana 'small girl', ka-mba 'small house' are nouns of their own, of the diminutive gender 12/13.

References

• [Car26]

structure Shona.Nounextends GenderedNoun Shona.Gender : Type

A noun is a gendered entry, whose gender pairs the singular class of its prefix with a plural class, together with the animacy of what it denotes.

• form : String
• gloss : String
• gender : Shona.Gender
• naturalGender : Option Gender
• animacy : Reference.Animacy

  The animacy of what the noun denotes.

@[instance_reducible]

instance Shona.instDecidableEqNoun : DecidableEq Noun

Equations

• Shona.instDecidableEqNoun = Shona.instDecidableEqNoun.decEq

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

Equations

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

@[instance_reducible]

instance Shona.instReprNoun : Repr Noun

Equations

• Shona.instReprNoun = { reprPrec := Shona.instReprNoun.repr }

def Shona.instReprNoun.repr : Noun → ℕ → Std.Format

Equations

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

def Shona.Nouns.murume : Noun

murume 'man'.

Equations

• Shona.Nouns.murume = { form := "murume", gloss := "man", gender := Shona.Gender.genderA, animacy := Reference.Animacy.human }

def Shona.Nouns.mukadzi : Noun

mukadzi 'woman'.

Equations

• Shona.Nouns.mukadzi = { form := "mukadzi", gloss := "woman", gender := Shona.Gender.genderA, animacy := Reference.Animacy.human }

def Shona.Nouns.musikana : Noun

musikana 'girl'.

Equations

• Shona.Nouns.musikana = { form := "musikana", gloss := "girl", gender := Shona.Gender.genderA, animacy := Reference.Animacy.human }

def Shona.Nouns.munwe : Noun

munwe 'finger'.

Equations

• Shona.Nouns.munwe = { form := "munwe", gloss := "finger", gender := Shona.Gender.genderB, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.muromo : Noun

muromo 'mouth'.

Equations

• Shona.Nouns.muromo = { form := "muromo", gloss := "mouth", gender := Shona.Gender.genderB, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.dombo : Noun

dombo 'stone'.

Equations

• Shona.Nouns.dombo = { form := "dombo", gloss := "stone", gender := Shona.Gender.genderC, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.zai : Noun

zai 'egg'.

Equations

• Shona.Nouns.zai = { form := "zai", gloss := "egg", gender := Shona.Gender.genderC, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.benzi : Noun

benzi 'fool'.

Equations

• Shona.Nouns.benzi = { form := "benzi", gloss := "fool", gender := Shona.Gender.genderC, animacy := Reference.Animacy.human }

def Shona.Nouns.dinga : Noun

dinga 'dimwit'.

Equations

• Shona.Nouns.dinga = { form := "dinga", gloss := "dimwit", gender := Shona.Gender.genderC, animacy := Reference.Animacy.human }

def Shona.Nouns.chingwa : Noun

chingwa 'bread'.

Equations

• Shona.Nouns.chingwa = { form := "chingwa", gloss := "bread", gender := Shona.Gender.genderD, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.chibage : Noun

chibage 'maize'.

Equations

• Shona.Nouns.chibage = { form := "chibage", gloss := "maize", gender := Shona.Gender.genderD, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.chidhakwa : Noun

chidhakwa 'drunkard'.

Equations

• Shona.Nouns.chidhakwa = { form := "chidhakwa", gloss := "drunkard", gender := Shona.Gender.genderD, animacy := Reference.Animacy.human }

def Shona.Nouns.chikomana : Noun

chikomana 'small boy'.

Equations

• Shona.Nouns.chikomana = { form := "chikomana", gloss := "small boy", gender := Shona.Gender.genderD, animacy := Reference.Animacy.human }

def Shona.Nouns.nherera : Noun

nherera 'orphan'.

Equations

• Shona.Nouns.nherera = { form := "nherera", gloss := "orphan", gender := Shona.Gender.genderE, animacy := Reference.Animacy.human }

def Shona.Nouns.nyanzvi : Noun

nyanzvi 'expert'.

Equations

• Shona.Nouns.nyanzvi = { form := "nyanzvi", gloss := "expert", gender := Shona.Gender.genderE, animacy := Reference.Animacy.human }

def Shona.Nouns.imbwa : Noun

imbwa 'dog'.

Equations

• Shona.Nouns.imbwa = { form := "imbwa", gloss := "dog", gender := Shona.Gender.genderE, animacy := Reference.Animacy.animate }

def Shona.Nouns.mhou : Noun

mhou 'cow'.

Equations

• Shona.Nouns.mhou = { form := "mhou", gloss := "cow", gender := Shona.Gender.genderE, animacy := Reference.Animacy.animate }

def Shona.Nouns.mhuno : Noun

mhuno 'nose'.

Equations

• Shona.Nouns.mhuno = { form := "mhuno", gloss := "nose", gender := Shona.Gender.genderE, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.nzeve : Noun

nzeve 'ear'.

Equations

• Shona.Nouns.nzeve = { form := "nzeve", gloss := "ear", gender := Shona.Gender.genderE, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.mbiya : Noun

mbiya 'bowl'.

Equations

• Shona.Nouns.mbiya = { form := "mbiya", gloss := "bowl", gender := Shona.Gender.genderE, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.sando : Noun

sando 'hammer'.

Equations

• Shona.Nouns.sando = { form := "sando", gloss := "hammer", gender := Shona.Gender.genderE, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.nyota : Noun

nyota 'thirst'.

Equations

• Shona.Nouns.nyota = { form := "nyota", gloss := "thirst", gender := Shona.Gender.genderE, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.nzara : Noun

nzara 'hunger'.

Equations

• Shona.Nouns.nzara = { form := "nzara", gloss := "hunger", gender := Shona.Gender.genderE, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.rukova : Noun

rukova 'stream'.

Equations

• Shona.Nouns.rukova = { form := "rukova", gloss := "stream", gender := Shona.Gender.genderF, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.uta : Noun

uta 'bow'.

Equations

• Shona.Nouns.uta = { form := "uta", gloss := "bow", gender := Shona.Gender.genderG, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.utanho : Noun

utanho 'ladder'.

Equations

• Shona.Nouns.utanho = { form := "utanho", gloss := "ladder", gender := Shona.Gender.genderG, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.kasikana : Noun

kasikana 'small girl'.

Equations

• Shona.Nouns.kasikana = { form := "kasikana", gloss := "small girl", gender := Shona.Gender.genderH, animacy := Reference.Animacy.human }

def Shona.Nouns.kakomana : Noun

kakomana 'small boy'.

Equations

• Shona.Nouns.kakomana = { form := "kakomana", gloss := "small boy", gender := Shona.Gender.genderH, animacy := Reference.Animacy.human }

def Shona.Nouns.kamba : Noun

kamba 'small house'.

Equations

• Shona.Nouns.kamba = { form := "kamba", gloss := "small house", gender := Shona.Gender.genderH, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.kamotokari : Noun

kamotokari 'small car'.

Equations

• Shona.Nouns.kamotokari = { form := "kamotokari", gloss := "small car", gender := Shona.Gender.genderH, animacy := Reference.Animacy.inanimate }

def Shona.Nouns.all : List Noun

Equations

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