PanLinx
English
eng-000
partial consistency
русский
rus-000
частичная непротиворечивость
PanLex