PanLinx
國語
cmn-001
一階邏輯
普通话
cmn-000
一阶逻辑
Hànyǔ
cmn-003
yi1 jie1 luo2 ji5
Deutsch
deu-000
Prädikatenlogik
PanLex