The Logical Language Group Online Dictionary Query |
There are specific tools that make searching this database easier:
la sutysisku dictionary, an offline enabled web app
la vlasisku search engine for the Lojban dictionary
From Lojban to English :
Word: efklizu [jbovlaste] Type: fu'ivla Gloss Word: left-Euclidean relation Gloss Word: Euclidean relation in the sense of "left-Euclidean" Definition: x1 is a binary relation which is left-Euclidean on space/set/under conditions x2. Notes: Definitionally, x1 is a possibly-ordered binary relation given by set $R$ such that for all $a, b, c$ in x2 (if such makes sense; else: the universe of discourse restricted by x2), if $(b, a)$ in $R$ and $(c, a,)$ in $R$, then $(b, c)$ in $R$ and $(c, b)$ in $R$. See also: "takni", ".efklipi".