Vortaro kun 230 mil tradukoj
Kajero


Trovi parte kongruajn (Uzeblas regulaj esprimoj)

eo aksiomara

Supozeblaj vortanalizoj:
aksiom/araaksiom/ar/aaks/iom/ara
Prononco per kanaoj:
スィオマー

Ekzemploj

  • eo aksiomara semantiko (fonto: ESPDIC)
  • eo aksiomaro

    Supozeblaj vortanalizoj:
    aksiom/ar/oaksiom/a/roaks/iom/ar/o
    Prononco per kanaoj:
    スィオマー

    Tradukoj

    eo aksiomo

    Kapvorto:
    Vortanalizo:
    aksiom/o
    Supozeblaj vortanalizoj:
    aks/iom/oaks/io/moaks/i/om/o
    Prononco per kanaoj:
    スィオー

    Tradukoj

    Sinonimoj

  • eo aserto (fonto: Ssv)
  • eo evidenta aserto (fonto: Ssv)
  • eo baza supozo (fonto: Ssv)
  • Ekzemploj

    eo aksioma

    Kapvorto:
    Vortanalizo:
    aksiom/a
    Supozeblaj vortanalizoj:
    aks/iom/aaks/i/om/a
    Prononco per kanaoj:
    スィオー

    Tradukoj

    Babilejo

    Kajero

    Per Rapida Logik-Rezonada Sistemo 高速度推論システム Cainia0 高速度邏輯推理系統

    De Cainiao Tech.

    Funkciigita de SWI-Prolog

    2019-03-14 ver. 1; 2023-09-01 ver. 2; 2024-11-25 ver. 3