PanLinx
русский
rus-000
экстенсиональная модель
English
eng-000
extensional model
PanLex