PanLinx: non-monotonic logic

English	eng-000
non-monotonic logic

English	eng-000	nonmonotonic logic
日本語	jpn-000	非単調論理

PanLex-PanLinx