PanLinx
普通话
cmn-000
效理逻辑
國語
cmn-001
效理邏輯
Hànyǔ
cmn-003
xiàolǐluójí
русский
rus-000
символическая логика
PanLex