PanLinx
English
eng-000
several-sorted predicate calculus
PanLex