Modern Greek nouns by gender and humanness

The nouns of [adamson-anagnostopoulou-2025]'s Greek examples with their grammatical gender and whether they denote humans: conceptually gendered humans, fixed-gender humans such as megalofiia 'genius' and thima 'victim', and inanimates of all three genders.

References

• [adamson-anagnostopoulou-2025]

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

Equations

• Greek.StandardModern.Gender.instDecidableEqNoun = Greek.StandardModern.Gender.instDecidableEqNoun.decEq

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

Equations

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

def Greek.StandardModern.Gender.instReprNoun.repr : Noun → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Greek.StandardModern.Gender.instReprNoun : Repr Noun

Equations

• Greek.StandardModern.Gender.instReprNoun = { reprPrec := Greek.StandardModern.Gender.instReprNoun.repr }

@[instance_reducible]

instance Greek.StandardModern.Gender.instHasGenderNoun : HasGender Noun

Equations

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

def Greek.StandardModern.Gender.andras : Noun

Equations

• Greek.StandardModern.Gender.andras = { form := "andras", gloss := "man", gender := Gender.masculine, isNaturalGender := true, human := true }

def Greek.StandardModern.Gender.gineka : Noun

Equations

• Greek.StandardModern.Gender.gineka = { form := "gineka", gloss := "woman", gender := Gender.feminine, isNaturalGender := true, human := true }

def Greek.StandardModern.Gender.petros : Noun

Equations

• Greek.StandardModern.Gender.petros = { form := "Petros", gloss := "Petros", gender := Gender.masculine, isNaturalGender := true, human := true }

def Greek.StandardModern.Gender.maria : Noun

Equations

• Greek.StandardModern.Gender.maria = { form := "Maria", gloss := "Maria", gender := Gender.feminine, isNaturalGender := true, human := true }

def Greek.StandardModern.Gender.kleftis : Noun

Equations

• Greek.StandardModern.Gender.kleftis = { form := "kleftis", gloss := "thief", gender := Gender.masculine, isNaturalGender := true, human := true }

def Greek.StandardModern.Gender.giorgos : Noun

Equations

• Greek.StandardModern.Gender.giorgos = { form := "Giorgos", gloss := "Giorgos", gender := Gender.masculine, isNaturalGender := true, human := true }

def Greek.StandardModern.Gender.adherfi : Noun

Equations

• Greek.StandardModern.Gender.adherfi = { form := "adherfi", gloss := "sister", gender := Gender.feminine, isNaturalGender := true, human := true }

def Greek.StandardModern.Gender.mitera : Noun

Equations

• Greek.StandardModern.Gender.mitera = { form := "mitera", gloss := "mother", gender := Gender.feminine, isNaturalGender := true, human := true }

def Greek.StandardModern.Gender.megalofiia : Noun

Fixed-gender human: feminine whatever the referent.

Equations

• Greek.StandardModern.Gender.megalofiia = { form := "megalofiia", gloss := "genius", gender := Gender.feminine, human := true }

def Greek.StandardModern.Gender.thima : Noun

Fixed-gender human: neuter whatever the referent.

Equations

• Greek.StandardModern.Gender.thima = { form := "thima", gloss := "victim", gender := Gender.neuter, human := true }

def Greek.StandardModern.Gender.koritsi : Noun

Equations

• Greek.StandardModern.Gender.koritsi = { form := "koritsi", gloss := "girl", gender := Gender.neuter, human := true }

def Greek.StandardModern.Gender.pinakas : Noun

Equations

• Greek.StandardModern.Gender.pinakas = { form := "pinakas", gloss := "blackboard, painting", gender := Gender.masculine, human := false }

def Greek.StandardModern.Gender.karekla : Noun

Equations

• Greek.StandardModern.Gender.karekla = { form := "karekla", gloss := "chair", gender := Gender.feminine, human := false }

def Greek.StandardModern.Gender.piruni : Noun

Equations

• Greek.StandardModern.Gender.piruni = { form := "piruni", gloss := "fork", gender := Gender.neuter, human := false }

def Greek.StandardModern.Gender.kutali : Noun

Equations

• Greek.StandardModern.Gender.kutali = { form := "kutali", gloss := "spoon", gender := Gender.neuter, human := false }

def Greek.StandardModern.Gender.fusta : Noun

Equations

• Greek.StandardModern.Gender.fusta = { form := "fusta", gloss := "skirt", gender := Gender.feminine, human := false }

def Greek.StandardModern.Gender.bluza : Noun

Equations

• Greek.StandardModern.Gender.bluza = { form := "bluza", gloss := "T-shirt", gender := Gender.feminine, human := false }

def Greek.StandardModern.Gender.anaptiras : Noun

Equations

• Greek.StandardModern.Gender.anaptiras = { form := "anaptiras", gloss := "lighter", gender := Gender.masculine, human := false }

def Greek.StandardModern.Gender.fakos : Noun

Equations

• Greek.StandardModern.Gender.fakos = { form := "fakos", gloss := "torch", gender := Gender.masculine, human := false }

def Greek.StandardModern.Gender.scholio : Noun

Equations

• Greek.StandardModern.Gender.scholio = { form := "scholio", gloss := "school", gender := Gender.neuter, human := false }

def Greek.StandardModern.Gender.ekklisia : Noun

Equations

• Greek.StandardModern.Gender.ekklisia = { form := "ekklisia", gloss := "church", gender := Gender.feminine, human := false }

def Greek.StandardModern.Gender.balkoni : Noun

Equations

• Greek.StandardModern.Gender.balkoni = { form := "balkoni", gloss := "balcony", gender := Gender.neuter, human := false }

def Greek.StandardModern.Gender.dhiadhromos : Noun

Equations

• Greek.StandardModern.Gender.dhiadhromos = { form := "dhiadhromos", gloss := "corridor", gender := Gender.masculine, human := false }

def Greek.StandardModern.Gender.daxtilidi : Noun

Equations

• Greek.StandardModern.Gender.daxtilidi = { form := "daxtilidi", gloss := "ring", gender := Gender.neuter, human := false }

def Greek.StandardModern.Gender.ombrela : Noun

Equations

• Greek.StandardModern.Gender.ombrela = { form := "ombrela", gloss := "umbrella", gender := Gender.feminine, human := false }

def Greek.StandardModern.Gender.fotografia : Noun

Equations

• Greek.StandardModern.Gender.fotografia = { form := "fotografia", gloss := "picture", gender := Gender.feminine, human := false }

def Greek.StandardModern.Gender.pukamiso : Noun

Equations

• Greek.StandardModern.Gender.pukamiso = { form := "pukamiso", gloss := "shirt", gender := Gender.neuter, human := false }