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.

3 definitions found

From Lojban to Japanese :


        Word: bu'ai [jbovlaste]
        Type: experimental cmavo (YOU RISK BEING MISUNDERSTOOD IF YOU USE THIS WORD)
  Gloss Word: 3階 in the sense of "述語論理"
  Gloss Word: 高階 in the sense of "述語論理"
     selma'o: NU
  Definition: 量化型 selbri 変数抽象 ： 抽象詞； bridi の左に付いて、第3階以上の述語論理で使われる束縛 selbri
       変数とする
       Notes: 第1階の述語論理では zo'e が定項、 da が束縛変項であり、第2階の述語論理では co'e が selbri
       定数、 bu'a が束縛 selbri 変数である。 第3階以上の述語論理を表現するためには、第2階の selbri
       全体を対象領域とする selbri が必要である。 NU類に属する su'u ・ bu'ai はそれぞれ、第2階の
       selbri 全体を対象領域とする selbri 定数・束縛 selbri 変数を構成することができる。 bu'ai
       が取る selbri 変数が2個以上になる場合は ju'e などで繋げる。 bu'ai
       を入れ子状に使えば、さらに高階の述語論理も構成できる。 例： su'o bu'ai xe'u kei su'o bu'a ro
       da zo'u bu'ai da bu'a （この xe'u はNU類を冠頭に置くためのダミー的な
       selbrisle） ・関連語： su'u, bu'a; xe'u.


From Lojban to English :


        Word: bu'ai [jbovlaste]
        Type: experimental cmavo (YOU RISK BEING MISUNDERSTOOD IF YOU USE THIS WORD)
  Gloss Word: higher order in the sense of "predicate logic"
  Gloss Word: third order in the sense of "predicate logic"
     selma'o: NU
  Definition: abstractor: abstractor to create logically quantified selbri
       variable to be used in predicate logic of third or higher
       order.
       Notes: zo'e and da are a constant and a bound variable of
       predicate logic of first order respectively; co'e and bu'a
       are a selbri constant and a bound selbri variable of predicate
       logic of second order respectively; in order to express
       predicate logic of third or higher order, it is essential to
       have selbri that treat selbri variables in the domain of all
       selbri of second order. su'u and bu'ai in selma'o NU can
       compose respectively a selbri constant and a bound selbri
       variable in the domain of all selbri of second order. In the
       case that bu'ai takes plural number of selbri variables,
       connect them with ju'e or something. Higher order is also
       possible by nesting bu'ai. Example: su'o bu'ai xe'u kei su'o
       bu'a ro da zo'u bu'ai da bu'a (This xe'u is an
       abstraction-variable-indicator-selbrisle used in order to put
       a word of selma'o NU in prenex.) See also su'u, bu'a;
       xe'u.


From Pure-Lojban Dictionary :


        Word: bu'ai [jbovlaste]
        Type: experimental cmavo (YOU RISK BEING MISUNDERSTOOD IF YOU USE THIS WORD)
     selma'o: NU
  Definition: galfi lu'e lo bridi lo logji lairka'e selbrisle
       Notes: .i mu'a lu su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da
       bu'a li'u .i ko sitna zo su'u .e zo bu'a .e zo xe'u






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