PanLinx
русский
rus-000
логическая основа
English
eng-000
logical basis
English
eng-000
logical framework
PanLex