Korean Case Inventory

@cite{blake-1994}

Korean marks case with postpositional particles:

• -i / -ga (NOM), -eul / -reul (ACC), -ui (GEN), -ege / -hante (DAT)
• -eseo (LOC), -buteo / -eseo (ABL), -(eu)ro (INST), -gwa / -wa (COM)

Like Japanese, Korean has a particle-based case system. The inventory maps cleanly onto Blake's hierarchy with no gaps.

def Fragments.Korean.Case.caseInventory : List Core.Case

Korean case inventory.

Equations

• Fragments.Korean.Case.caseInventory = [Core.Case.nom, Core.Case.acc, Core.Case.gen, Core.Case.dat, Core.Case.loc, Core.Case.abl, Core.Case.inst, Core.Case.com]

theorem Fragments.Korean.Case.inventory_valid : Core.validInventory caseInventory = true

Contiguous on Blake's hierarchy (ranks 6 down to 1).