Modern Greek nouns by gender

The nouns of Adamson and Anagnostopoulou's Greek examples, each with its grammatical gender and the gender it restricts its referents to where it does. The gender of andras 'man' and gineka 'woman' is natural, the one their referents' gender is assigned. Koritsi 'girl' is neuter though its referents are female, and megalofiia 'genius' and thima 'victim' are feminine and neuter whoever they refer to. The inanimates are of all three genders.

References

• [AA25]

inductive Greek.StandardModern.Gender.Value : Type

The three genders.

• masculine : Value
• feminine : Value
• neuter : Value

@[instance_reducible]

instance Greek.StandardModern.Gender.instDecidableEqValue : DecidableEq Value

Equations

• Greek.StandardModern.Gender.instDecidableEqValue x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Greek.StandardModern.Gender.instReprValue : Repr Value

Equations

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

def Greek.StandardModern.Gender.instReprValue.repr : Value → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Greek.StandardModern.Gender.instFintypeValue : Fintype Value

Equations

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

def Greek.StandardModern.Gender.Value.ofReferentGender : ReferentGender → Value

Male humans are masculine and female humans feminine.

Equations

• Greek.StandardModern.Gender.Value.ofReferentGender ReferentGender.male = Greek.StandardModern.Gender.Value.masculine
• Greek.StandardModern.Gender.Value.ofReferentGender ReferentGender.female = Greek.StandardModern.Gender.Value.feminine

def Greek.StandardModern.Gender.andras : GenderedNoun Value

andras 'man'.

Equations

• Greek.StandardModern.Gender.andras = { form := "andras", gloss := "man", gender := Greek.StandardModern.Gender.Value.masculine, referentGender := some ReferentGender.male }

def Greek.StandardModern.Gender.gineka : GenderedNoun Value

gineka 'woman'.

Equations

• Greek.StandardModern.Gender.gineka = { form := "gineka", gloss := "woman", gender := Greek.StandardModern.Gender.Value.feminine, referentGender := some ReferentGender.female }

def Greek.StandardModern.Gender.petros : GenderedNoun Value

Petros.

Equations

• Greek.StandardModern.Gender.petros = { form := "Petros", gloss := "Petros", gender := Greek.StandardModern.Gender.Value.masculine, referentGender := some ReferentGender.male }

def Greek.StandardModern.Gender.kostas : GenderedNoun Value

Kostas.

Equations

• Greek.StandardModern.Gender.kostas = { form := "Kostas", gloss := "Kostas", gender := Greek.StandardModern.Gender.Value.masculine, referentGender := some ReferentGender.male }

def Greek.StandardModern.Gender.giorgos : GenderedNoun Value

Giorgos.

Equations

• Greek.StandardModern.Gender.giorgos = { form := "Giorgos", gloss := "Giorgos", gender := Greek.StandardModern.Gender.Value.masculine, referentGender := some ReferentGender.male }

def Greek.StandardModern.Gender.maria : GenderedNoun Value

Maria.

Equations

• Greek.StandardModern.Gender.maria = { form := "Maria", gloss := "Maria", gender := Greek.StandardModern.Gender.Value.feminine, referentGender := some ReferentGender.female }

def Greek.StandardModern.Gender.giota : GenderedNoun Value

Giota.

Equations

• Greek.StandardModern.Gender.giota = { form := "Giota", gloss := "Giota", gender := Greek.StandardModern.Gender.Value.feminine, referentGender := some ReferentGender.female }

def Greek.StandardModern.Gender.kleftis : GenderedNoun Value

kleftis 'thief'.

Equations

• Greek.StandardModern.Gender.kleftis = { form := "kleftis", gloss := "thief", gender := Greek.StandardModern.Gender.Value.masculine, referentGender := some ReferentGender.male }

def Greek.StandardModern.Gender.filos : GenderedNoun Value

filos 'friend'.

Equations

• Greek.StandardModern.Gender.filos = { form := "filos", gloss := "friend", gender := Greek.StandardModern.Gender.Value.masculine, referentGender := some ReferentGender.male }

def Greek.StandardModern.Gender.adherfi : GenderedNoun Value

adherfi 'sister'.

Equations

• Greek.StandardModern.Gender.adherfi = { form := "adherfi", gloss := "sister", gender := Greek.StandardModern.Gender.Value.feminine, referentGender := some ReferentGender.female }

def Greek.StandardModern.Gender.mitera : GenderedNoun Value

mitera 'mother'.

Equations

• Greek.StandardModern.Gender.mitera = { form := "mitera", gloss := "mother", gender := Greek.StandardModern.Gender.Value.feminine, referentGender := some ReferentGender.female }

def Greek.StandardModern.Gender.koritsi : GenderedNoun Value

koritsi 'girl', neuter though its referents are female.

Equations

• Greek.StandardModern.Gender.koritsi = { form := "koritsi", gloss := "girl", gender := Greek.StandardModern.Gender.Value.neuter, referentGender := some ReferentGender.female }

def Greek.StandardModern.Gender.megalofiia : GenderedNoun Value

megalofiia 'genius', feminine whoever the genius.

Equations

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

def Greek.StandardModern.Gender.thima : GenderedNoun Value

thima 'victim', neuter whoever the victim.

Equations

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

def Greek.StandardModern.Gender.pinakas : GenderedNoun Value

pinakas 'blackboard, painting'.

Equations

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

def Greek.StandardModern.Gender.karekla : GenderedNoun Value

karekla 'chair'.

Equations

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

def Greek.StandardModern.Gender.piruni : GenderedNoun Value

piruni 'fork'.

Equations

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

def Greek.StandardModern.Gender.kutali : GenderedNoun Value

kutali 'spoon'.

Equations

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

def Greek.StandardModern.Gender.fusta : GenderedNoun Value

fusta 'skirt'.

Equations

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

def Greek.StandardModern.Gender.bluza : GenderedNoun Value

bluza 'T-shirt'.

Equations

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

def Greek.StandardModern.Gender.anaptiras : GenderedNoun Value

anaptiras 'lighter'.

Equations

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

def Greek.StandardModern.Gender.fakos : GenderedNoun Value

fakos 'torch'.

Equations

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

def Greek.StandardModern.Gender.scholio : GenderedNoun Value

scholio 'school'.

Equations

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

def Greek.StandardModern.Gender.ekklisia : GenderedNoun Value

ekklisia 'church'.

Equations

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

def Greek.StandardModern.Gender.balkoni : GenderedNoun Value

balkoni 'balcony'.

Equations

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

def Greek.StandardModern.Gender.dhiadhromos : GenderedNoun Value

dhiadhromos 'corridor'.

Equations

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

def Greek.StandardModern.Gender.daxtilidi : GenderedNoun Value

daxtilidi 'ring'.

Equations

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

def Greek.StandardModern.Gender.ombrela : GenderedNoun Value

ombrela 'umbrella'.

Equations

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

def Greek.StandardModern.Gender.fotografia : GenderedNoun Value

fotografia 'picture'.

Equations

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

def Greek.StandardModern.Gender.pukamiso : GenderedNoun Value

pukamiso 'shirt'.

Equations

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