PanLinx
English
eng-000
extended predicate calculus
普通话
cmn-000
广义谓词演算
русский
rus-000
расширенное исчисление предикатов
PanLex