PanLinx
English
eng-000
higher-order predicate calculus
普通话
cmn-000
高阶谓词演算
PanLex