Mandarin Modal Inventory

Modal expressions from Mandarin (Sino-Tibetan), based on @cite{qing-uegaki-2025}.

Mandarin has many modals, extensive synonymy, but all satisfy IFF.

def Fragments.Mandarin.Modals.yiding : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.yiding = { form := "yīdìng", meaning := [Fragments.Mandarin.Modals.ne✝] }

def Fragments.Mandarin.Modals.biran : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.biran = { form := "bìrán", meaning := [Fragments.Mandarin.Modals.ne✝] }

def Fragments.Mandarin.Modals.juedui : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.juedui = { form := "juéduì", meaning := [Fragments.Mandarin.Modals.ne✝] }

def Fragments.Mandarin.Modals.bixu : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.bixu = { form := "bìxū", meaning := [Fragments.Mandarin.Modals.nd✝, Fragments.Mandarin.Modals.nc✝] }

def Fragments.Mandarin.Modals.yao : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.yao = { form := "yào", meaning := [Fragments.Mandarin.Modals.nd✝, Fragments.Mandarin.Modals.nc✝] }

def Fragments.Mandarin.Modals.dei : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.dei = { form := "děi", meaning := [Fragments.Mandarin.Modals.nd✝, Fragments.Mandarin.Modals.nc✝] }

def Fragments.Mandarin.Modals.yinggai : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.yinggai = { form := "yīnggāi", meaning := [Fragments.Mandarin.Modals.ne✝, Fragments.Mandarin.Modals.nd✝, Fragments.Mandarin.Modals.nc✝] }

def Fragments.Mandarin.Modals.dagai : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.dagai = { form := "dàgài", meaning := [Fragments.Mandarin.Modals.ne✝] }

def Fragments.Mandarin.Modals.keneng : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.keneng = { form := "kěnéng", meaning := [Fragments.Mandarin.Modals.pe✝] }

def Fragments.Mandarin.Modals.keyi : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.keyi = { form := "kěyǐ", meaning := [Fragments.Mandarin.Modals.pd✝, Fragments.Mandarin.Modals.pc✝] }

def Fragments.Mandarin.Modals.yexu : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.yexu = { form := "yěxǔ", meaning := [Fragments.Mandarin.Modals.pe✝] }

def Fragments.Mandarin.Modals.neng : Semantics.Modality.Typology.ModalExpression

Equations

• Fragments.Mandarin.Modals.neng = { form := "néng", meaning := [Fragments.Mandarin.Modals.pd✝, Fragments.Mandarin.Modals.pc✝] }

def Fragments.Mandarin.Modals.allExpressions : List Semantics.Modality.Typology.ModalExpression

Equations

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