SIM
similaj al:
Celoimplicative
Centang kotak () untuk berlatih di area latihan
| Distanco | Vorto | Difino | 3.0 | implicite | 暗に |
|---|---|---|
| 3.1 | implikacia | … |
| 3.3 | implikacio | … |
KAJERO
K
Komentoj
Kajero
Multlingva vortaro
Per
Cainia 3.1 双向推理系统
Programita de
Sato kaj Cainiao 2019-2026 Subtenu nin per taso da kafo
Funkciigata de
SWI-Prolog