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