lojbo jufsisku
Lojban sentence search

Total: 52 result(s)
ro bu'a zo'u lo ka bu'a cu xamgu .inaja la cev cu traji lo ka bu'a .i lo ka zasti cu xamgu .i ja'o la cev cu traji lo ka zasti
Of all good properties, God is the entity that has the most of it. Existence is a good property. Hence, God is the entity that is the most existent of all.
.i fu'e po'o lo za'i prami je lo za'i gleki fu'o cu se cinmo lo se gugde be la skatygug .i lo za'i xebni je lo za'i .i'o zei nai zei cinmo zo'u to'e slabu .i ba'e to'e slabu
There is only love and happiness in Scatland. Hatred and resentment? Well that's unheard of. It's unheard of.
bu'ai
experimental cmavo abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. 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.
kei'au
experimental cmavo mekso operator: finite result set derived from/on set A with/due to operator/function B under ordering of application C Equivalent to: lo'i li zy du ca'e li pe'o se'au mau'au B zai'ai vei ma'o xy boi ny ve'o boi tau sy boi C ku poi ke'a cmaci xanri zi'e poi ke'a mleca li ci'i zo'u tau sy klesi A. Acts on an operator/function (b) and produces all finite results of that operator being used on any allowable number of elements of the set A without repetition within any given application. The result must be defined (and finite, obviously). Application of the operator on nothing (the elements of the empty set) is generically allowed and follows convention (for example, an empty sum may evaluate to 0). Differs from kei'ai. Use mau'au and zai'ai for quoting B. C will be specified explicitly (possibly elsewhere) and/or via zoi'ai.