Kamusi ya Kiesperanto yenye tafsiri 230,000
Kajero

📜Legilo 📈Ekzercejo


Tafuta kwa sehemu (inaunga mkono misemo ya kawaida)

eo pruvo

Neno kuu:
pruv/i
Uchanganuzi wa neno:
pruv/o
Muundo unaokadiriwa:
pru/vo
Prononco per kanaoj:
プルーヴォ

Tafsiri

Visawe

  • eo signo (Chanzo: VES)

    • Mifano

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

    • eo pruvi

    Neno kuu:
    pruv/i
    Uchanganuzi wa neno:
    pruv/i
    Muundo unaokadiriwa:
    pru/vi
    Prononco per kanaoj:
    プルーヴィ
    « Verboj ofte uzataj »
    « BRO8 »
    « EJV * »

    Tafsiri

    Visawe

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

    • (?) pruvo

    Uchanganuzi wa neno:
    pruv/o
    Muundo unaokadiriwa:
    pru/vo
    Prononco per kanaoj:
    プルーヴォ

    Babilejo

    Kajero

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

    De Sato kaj Cainiao

    Funkciigata de SWI-Prolog

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