PanLinx
普通话
cmn-000
一阶谓词逻辑
English
eng-000
first-order predicate logic
PanLex