PanLinx
普通话
cmn-000
单谓词演算
Hànyǔ
cmn-003
dān wèi cí yǎn suàn
English
eng-000
unary predicate calculus
PanLex