Esperanto Diksyunaryo na may 230,000 salin
Kajero

📜Legilo 📈Ekzercejo


Bahagyang paghahanap (sinusuportahan ang regular expressions)

eo pruvo

Pangunahing entrada:
pruv/i
Istruktura ng salita:
pruv/o
Inaasahang istruktura:
pru/vo
Prononco per kanaoj:
プルーヴォ

Mga salin

Kasingkahulugan

  • eo signo (Pinagmulan: VES)

    • Mga halimbawa

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

    • eo pruvi

    Pangunahing entrada:
    pruv/i
    Istruktura ng salita:
    pruv/i
    Inaasahang istruktura:
    pru/vi
    Prononco per kanaoj:
    プルーヴィ
    « Verboj ofte uzataj »
    « BRO8 »
    « EJV * »

    Mga salin

    Kasingkahulugan

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

    • (?) pruvo

    Istruktura ng salita:
    pruv/o
    Inaasahang istruktura:
    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