PanLinx
Hànyǔ
cmn-003
yī jiē wèi cí yǎn suàn
普通话
cmn-000
一阶谓词演算
PanLex
