PanLinx
日本語
jpn-000
演繹的推論
Esperanto
epo-000
dedukta rezonado
PanLex