PanLinx
普通话
cmn-000
狭谓词演算
English
eng-000
restricted predicate calculus
PanLex