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