PanLinx
русский
rus-000
представление знаний логическими выражениями
English
eng-000
clausal representation
PanLex