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 estas en salono.
包含は、A estas B の形で、A apartenas al klaso B と同じ意味を示します。Homo estas animalo.
Kajero
Per Rapida Simbolprilabora Sistemo 高速符號計算系統 Cainia0
Programita de Sato kaj Cai Niao
Funkciigita de SWI-Prolog
2019-03-14 ver. 1
2023-09-01 ver. 2
2024-11-25 ver. 3
Babilejo