lojbo jufsisku
Lojban sentence search

Total: 136 result(s)
su'u
cmavo rafsi: suv abstractor: generalized abstractor (how); x1 is [bridi] as a non-specific abstraction of type x2.
xau
experimental cmavo preposition: marks that which the bridi is beneficial to; for the benefit of..., with beneficiary... Similar to seva'u
zu'o
cmavo rafsi: zum abstractor: activity (event) abstractor; x1 is abstract activity of [bridi] composed of x2.
cei'i
experimental cmavo pro-bridi: the universal predicate See also: zai'o (pro-sumti; empty), gai'o (pro-bridi; empty), mai'i (pro-sumti; universal), ctaipe.
fancu
gismu x1 is a function/single-valued mapping from domain x2 to range x3 defined by expression/rule x4. See also mekso, bridi.
gai'o
experimental cmavo pro-bridi: the empty predicate See also: zai'o (pro-sumti; empty), mai'i (pro-sumti; universal), cei'i (pro-bridi; universal), ctaipe.
selbri
lujvo x2=b1 (text) is a predicate relationship with relation x1=b2 among arguments x3=b3 (ordered set). se bridi
selbritcita
lujvo x1 is a selbri tag showing information x2 See also selbri tcita; se bridi.
sumti
gismu rafsi: sum su'i x1 is a/the argument of predicate/function x2 filling place x3 (kind/number). (x1 and x2 are text); See also bridi, darlu, gismu.
terbri
lujvo x3=b1 (text) is a predicate relationship with relation x2=b2 among arguments x1=b3 (ordered set). te bridi
brije'u
lujvo x1 (predicate) is true when applied to argument list x2 (sequence) Synonymous to zilbri. The x1 slot can be filled with a property/relation (ka) whose number of free slots match the length of the sequence x2. It can also be filled with a bridi abstraction (du'u) —nullary predicate—, in which case the x2 should be the empty set or possibly zi'o. See also bridi.
zilbri
lujvo x1 (predicate) is true when applied to argument list x2 (sequence) Synonymous to brije'u. The x1 slot can be filled with a property/relation (ka) whose number of free slots match the length of the sequence x2. It can also be filled with a bridi abstraction (du'u) —nullary predicate—, in which case the x2 should be the empty set or possibly zi'o. See also bridi.
brili'e
lujvo x1 is a prenex of bridi/predicate relationship x2 with relation x3 among arguments x4. Cf. zo'u.
cei
cmavo selbri variable assignment; assigns broda series pro-bridi to a selbri. Note: Directionality of assignment may be ambiguous. ca'e on the "toward" side may be used to disambiguate.
du'au
experimental cmavo Text to bridi conversion Roughly equivalent to just la'e, but precise about the type of the result. Inverse of lu'au.
mei'o
experimental cmavo Elidable terminator for selma'o MEIhE (which turns any number of sumti into a selbri-unit) Needed to close a MEIhE expression to resume adding sumti to the parent bridi.