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