esti には語義が4つあります：同定、述定、存在、包含です。
同定は、A estas B の形で、A と B が同じものを指すという事実を指摘します。Sokrato estas instruisto de Platono.
述定は、A estas B の形で、A の属性として B があることを指摘します。Nuancoj ofte estas gravaj.
存在は、A estas の形で、 A ekzistas と同じ意味を示します。Estas du sofoj en salono.
包含は、A estas B の形で、A apartenas al klaso B と同じ意味を示します。Homo estas animalo.
Kajero
Per Rapida Logik-Rezonada Sistemo 高速度推論システム Cainia0 高速度邏輯推理系統
De Teknologia Ko. 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
Babilejo