Dicionário de Esperanto com 230.000 traduções
Kajero

📈Ekzercejo

Busca parcial (expressões regulares são aceitas)

🔍️ Trovi similajn vortojn 似た単語を表示

eo pruvi

Entrada principal:
pruv/i
Estrutura da palavra:
pruv/i
Estrutura inferida:
pru/vi
Prononco per kanaoj:
プルーヴィ
« Verboj ofte uzataj »
« BRO8 »
« EJV * »

Traduções

Sinônimos

  • eo argumenti (Fonte: VES)
  • eo dokumenti (Fonte: VES)
  • eo demonstri (laŭ la signifo en la unuopaj okazoj) (Fonte: Ssv)

    • eo pruvo

    Entrada principal:
    pruv/i
    Estrutura da palavra:
    pruv/o
    Estrutura inferida:
    pru/vo
    Prononco per kanaoj:
    プルーヴォ

    Traduções

    Sinônimos

  • eo signo (Fonte: VES)

    • Exemplos

  • eo negativa pruvo (Fonte: pejv)
  • eo pozitiva pruvo (Fonte: pejv)
  • eo priprograma pruvo (Fonte: ESPDIC)
  • eo pruvo de ekzisto (Fonte: ESPDIC)
  • eo pruvo per indukto (Fonte: ESPDIC)
  • eo pruvo per redukto al absurdo (Fonte: ESPDIC)

    • (?) pruvi

    Eksteraj fontoj

    Babilejo

    Kajero

    Per Cainia-0: sistemo por rapida dudirekta rezonado
    Cainia-0 高速度双方向推論システム
    Cainia-0 高速度双向推理系統

    de Sato kaj Cainiao

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

    Funkciigata de SWI-Prolog