PanLinx
English
eng-000
higher-order logic
普通话
cmn-000
高阶逻辑
PanLex