Japanese nouns

The Japanese noun as a lexical entry: the root entry with its romanization as citation form, its spelling, the ways a numeral counts it, and the optional plural in -tachi where the entry records one; a name is the root ProperName with its spelling. Japanese has no articles, and a bare noun can be an argument. No numeral counts a mass noun such as mizu 'water', with or without a classifier.

References

• [Dow96]

structure Japanese.Nouns.Nounextends ClassifiedNoun Classifier : Type

A Japanese noun is the root entry with its romanization as citation form, its spelling, the ways a numeral counts it, and its optional plural.

• form : String
• gloss : String
• counters : Finset (Option Classifier)
• script : String

  The spelling in kanji and kana.

• plural : Option String

  The optional plural in -tachi, romanized.

@[instance_reducible]

instance Japanese.Nouns.instDecidableEqNoun : DecidableEq Noun

Equations

• Japanese.Nouns.instDecidableEqNoun = Japanese.Nouns.instDecidableEqNoun.decEq

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

Equations

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

Common nouns

def Japanese.Nouns.inu : Noun

犬 inu 'dog'.

Equations

• Japanese.Nouns.inu = { form := "inu", gloss := "dog", counters := {some Japanese.Classifiers.hiki}, script := "犬" }

def Japanese.Nouns.neko : Noun

猫 neko 'cat'.

Equations

• Japanese.Nouns.neko = { form := "neko", gloss := "cat", counters := {some Japanese.Classifiers.hiki}, script := "猫" }

def Japanese.Nouns.hito : Noun

人 hito 'person'.

Equations

• Japanese.Nouns.hito = { form := "hito", gloss := "person", counters := {some Japanese.Classifiers.nin}, script := "人", plural := some "hitotachi" }

def Japanese.Nouns.hon : Noun

本 hon 'book'.

Equations

• Japanese.Nouns.hon = { form := "hon", gloss := "book", counters := {some Japanese.Classifiers.satsu}, script := "本" }

def Japanese.Nouns.kuruma : Noun

車 kuruma 'car'.

Equations

• Japanese.Nouns.kuruma = { form := "kuruma", gloss := "car", counters := {some Japanese.Classifiers.dai}, script := "車" }

def Japanese.Nouns.tori : Noun

鳥 tori 'bird'.

Equations

• Japanese.Nouns.tori = { form := "tori", gloss := "bird", counters := {some Japanese.Classifiers.wa}, script := "鳥" }

def Japanese.Nouns.hana : Noun

花 hana 'flower'.

Equations

• Japanese.Nouns.hana = { form := "hana", gloss := "flower", counters := {some Japanese.Classifiers.hon}, script := "花" }

def Japanese.Nouns.mizu : Noun

水 mizu 'water'.

Equations

• Japanese.Nouns.mizu = { form := "mizu", gloss := "water", counters := ∅, script := "水" }

def Japanese.Nouns.gohan : Noun

ご飯 gohan 'cooked rice'.

Equations

• Japanese.Nouns.gohan = { form := "gohan", gloss := "cooked rice", counters := ∅, script := "ご飯" }

def Japanese.Nouns.musume : Noun

娘 musume 'daughter'.

Equations

• Japanese.Nouns.musume = { form := "musume", gloss := "daughter", counters := {some Japanese.Classifiers.nin}, script := "娘", plural := some "musumetachi" }

def Japanese.Nouns.musuko : Noun

息子 musuko 'son'.

Equations

• Japanese.Nouns.musuko = { form := "musuko", gloss := "son", counters := {some Japanese.Classifiers.nin}, script := "息子", plural := some "musukotachi" }

def Japanese.Nouns.gakusei : Noun

学生 gakusei 'student'.

Equations

• Japanese.Nouns.gakusei = { form := "gakusei", gloss := "student", counters := {some Japanese.Classifiers.nin}, script := "学生", plural := some "gakuseitachi" }

def Japanese.Nouns.sensei : Noun

先生 sensei 'teacher'.

Equations

• Japanese.Nouns.sensei = { form := "sensei", gloss := "teacher", counters := {some Japanese.Classifiers.nin}, script := "先生", plural := some "senseitachi" }

def Japanese.Nouns.tomodachi : Noun

友達 tomodachi 'friend'.

Equations

• Japanese.Nouns.tomodachi = { form := "tomodachi", gloss := "friend", counters := {some Japanese.Classifiers.nin}, script := "友達" }

def Japanese.Nouns.nouns : List Noun

The nouns.

Equations

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

Proper names

structure Japanese.Nouns.ProperNameextends ProperName : Type

A Japanese name is the root name with its romanization as citation form, and its spelling.

• form : String
• gloss : String
• gender : Option Gender
• script : String

  The spelling in kanji and kana.

def Japanese.Nouns.instDecidableEqProperName.decEq (x✝ x✝¹ : ProperName) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Japanese.Nouns.instDecidableEqProperName : DecidableEq ProperName

Equations

• Japanese.Nouns.instDecidableEqProperName = Japanese.Nouns.instDecidableEqProperName.decEq

@[instance_reducible]

instance Japanese.Nouns.instReprProperName : Repr ProperName

Equations

• Japanese.Nouns.instReprProperName = { reprPrec := Japanese.Nouns.instReprProperName.repr }

def Japanese.Nouns.instReprProperName.repr : ProperName → ℕ → Std.Format

Equations

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

def Japanese.Nouns.name (form script : String) (gender : Option Gender := none) : ProperName

A personal name glossed by its romanization.

Equations

• Japanese.Nouns.name form script gender = { form := form, gloss := form, gender := gender, script := script }

def Japanese.Nouns.taro : ProperName

Equations

• Japanese.Nouns.taro = Japanese.Nouns.name "Tarō" "太郎" (some Gender.masculine)

def Japanese.Nouns.hanako : ProperName

Equations

• Japanese.Nouns.hanako = Japanese.Nouns.name "Hanako" "花子" (some Gender.feminine)

def Japanese.Nouns.yamada : ProperName

Equations

• Japanese.Nouns.yamada = Japanese.Nouns.name "Yamada" "山田"

def Japanese.Nouns.tanaka : ProperName

Equations

• Japanese.Nouns.tanaka = Japanese.Nouns.name "Tanaka" "田中"