Esperanto Diksyunaryo na may 230,000 salin
Kajero


Bahagyang paghahanap (sinusuportahan ang regular expressions)

eo aksiomara

Inaasahang istruktura:
aksiom/araaksiom/ar/aaks/iom/ara
Prononco per kanaoj:
アクスィオマーラ

Mga halimbawa

  • eo aksiomara semantiko (Pinagmulan: ESPDIC)

    • eo aksiomaro

    Inaasahang istruktura:
    aksiom/ar/oaksiom/a/roaks/iom/ar/o
    Prononco per kanaoj:
    アクスィオマーロ

    Mga salin

    eo aksiomo

    Pangunahing entrada:
    aksiom/o
    Istruktura ng salita:
    aksiom/o
    Inaasahang istruktura:
    aks/iom/oaks/io/moaks/i/om/o
    Prononco per kanaoj:
    アクスィオーモ

    Mga salin

    Kasingkahulugan

  • eo aserto (Pinagmulan: Ssv)
  • eo evidenta aserto (Pinagmulan: Ssv)
  • eo baza supozo (Pinagmulan: Ssv)

    • Mga halimbawa

  • eo postulato (Pinagmulan: pejv)
  • eo aksiomo de indukto (Pinagmulan: ESPDIC)
  • eo aksiomo de matematika indukto (Pinagmulan: ESPDIC)

    • eo aksioma

    Pangunahing entrada:
    aksiom/o
    Istruktura ng salita:
    aksiom/a
    Inaasahang istruktura:
    aks/iom/aaks/i/om/a
    Prononco per kanaoj:
    アクスィオーマ

    Mga salin

    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