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