PanLinx
日本語
jpn-000
単一化に基づく形式化
English
eng-000
unification-based formalisms
PanLex