PanLinx
Deutsch
deu-000
Typentheorie
普通话
cmn-000
类型论
國語
cmn-001
類型論
Hànyǔ
cmn-003
lei4 xing2 lun4
PanLex
