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