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

Query string:
Search type:
Database:

Database copyright information
Server information

To improve the quality of results, jbovlaste search does not return words with insufficient votes. To qualify to be returned in search results, a proposed lujvo is required to have received a vote in favor in both directions: for instance, in English to Lojban and in Lojban to English.

In addition, due to it being a very technically hard problem, full text searching (that is, searching of definitions rather than just keywords) is not available at this time.


1 definition found
From Lojban to English :

        Word: kei'ai [jbovlaste]
        Type: experimental cmavo (YOU RISK BEING MISUNDERSTOOD IF YOU USE THIS WORD)
  Gloss Word: difference set in the sense of "mekso; generalized"
  Gloss Word: image under f in the sense of "image of a function on a set"
  Gloss Word: set of results of operator in the sense of "mekso"
  Gloss Word: sum set in the sense of "mekso; generalized"
     selma'o: PEhO
  Definition: mekso style converter: elementwise application of operator
       Notes: Prefixed to an operator/function that operates on numbers,
       thereby transforming it into a set operator (thus its arguments
       must be sets where before they were numbers), as defined in a
       given structure; the result is a function of the same arity.
       Produces the set of all numbers that are given by some ordered
       tuple of elements (the nth term of which belongs to the nth set
       specified, for all n) with the operator acting on them/the
       tuple (per the rules of that operator). The set produced may
       include empty terms and/or infinity. Let "@" represent the
       operator and "$x_i$" represent a set for all i; then x1 kei'ai
       @ x2 boi x3 boi x4 boi $\dots$ = Set(@$(t_1, t_2, t_3, t_4,
       \dots)$: $t_i$ in $x_i$ for all i); the ordered Cartesian
       product of the operands of 'kei'ai @' must be a subset of the
       domain set of '@'. If f is unitary and we convert it to a set
       operator 'kei'ai f' = F, then for any good set A, $F(A) =
       \operatornameimg_f (A)$, which is the image of A under the
       function/map f.  See also kei'au for a similar but different
       word.

Questions or comments about this site? Contact [email protected]