similaj al: aksioma

Similaj al: aksioma

Centang kotak () untuk berlatih di area latihan

Distanco	Vorto	Difino
0.0	aksioma	公理の
0.8	aksiomo	公理

Faritaj 5,805,843 inferencoj, 0.451 CPU-sekundoj en 0.529 reale pasintaj sekundoj.

Kajero
Multlingva vortaro

Per
Cainia 3.1 双向推理系统

Programita de
Sato kaj Cainiao 2019-2025 Subtenu nin per taso da kafo

Funkciigata de
SWI-Prolog