Vortaro kun 230 mil tradukoj
Kajero

📜Legilo 📈Ekzercejo


Trovi parte kongruajn (Uzeblas regulaj esprimoj)

eo korolario

Vortanalizo:
korolari/o
Supozeblaj vortanalizoj:
korol/ari/okorol/ar/iokorol/ar/i/o
Prononco per kanaoj:
コロラ▼リーオ

Tradukoj

Sinonimoj

  • eo postaserto (fonto: Ssv)
  • eo konsekvenco (fonto: VES)
  • eo sekvo (fonto: VES)
  • eo konkludo (fonto: VES)
  • eo dedukto (fonto: VES)
  • eo indukto (fonto: VES)
  • eo induko (fonto: VES)
  • eo indukcio (fonto: VES)
  • eo rezulto (fonto: VES)
  • eo rezultato (fonto: VES)
  • eo resumo (fonto: VES)

    • Ekzemploj

  • eo teoremo (fonto: pejv)

    • (?) korolario

    Vortanalizo:
    korolari/o
    Supozeblaj vortanalizoj:
    korol/ari/okorol/ar/iokorol/ar/i/o
    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