PanLinx
普通话
cmn-000
广义谓词演算
English
eng-000
extended predicate calculus
PanLex
