PanLinx
普通话
cmn-000
逻辑类型理论
PanLex