PanLinx
普通话
cmn-000
符号逻辑模型
English
eng-000
model of symbolic logic
PanLex