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