lojbo jufsisku
Lojban sentence search

Total: 92 result(s)
kamckire
lujvo x1=k1 is the property of gratitude/thankfulness/appreciation of x2=c2 for x3=c3 (event/property) It is implicitly assumed that ce'u is assigned to ckire1.
mitysisku
lujvo x1 seeks/searches/looks for something that has the same identity as x2 among x3 "X mitysisku Y" = "X sisku lo ka ce'u mintu Y". See also sisku
zildika
fu'ivla x1 is a property of a number/amount decreasing by amount x2 x1 is a unary property whose open sumti slot (ce'u) is filled with a number/amount decreasing over time. See also zilzena.
ziltodi
fu'ivla x1 is a property of a constant number/amount x1 is a unary property whose open sumti slot (ce'u) is filled with a number/amount constant over time. See also stodi, zilzena, zildika.
zvasisku
lujvo x1=s1 looks for the location of x2=z1 among location(s) x3=s3=z2 s2 = "lo ka z1 zvati ce'u", so is eliminated.
funtiio
fu'ivla x1 (plural of ordered pairs) is an exhaustive set (possibly infinite) of inputs/outputs defining a unary function which yields result x3 when given input x2; x1(x2) = x3 "f(x) = z" == "fy funtiio xy fi zy". "lo ro se zilbri be lo ka ce'u sumji ce'u li pa" is a way to extract the input/output set of the relation "f(x) = x−1", so that you can use it as funtiio's x1. Using a la-name for referring to a function is also an option, for example "la .fankcyn. cu funtiio li re li ci". See also fancu, fancuka.
xe'u
experimental cmavo Abstraction variable indicator selbrisle. xe'u is a pro-bridi (meaning it takes the place of a fully-specified bridi). xe'u indicates that the selbrisle is considered to be a bridi-variable that can be filled by other bridi. xe'u makes sense only inside abstraction clauses. In particular, xe'u is almost solely used in prenex in order to put a word of selma'o NU in prenex in a statement of predicate logic of third or higher order. See bu'ai for usage. See also ce'u, bu'ai.
li'i ze'ei ka
cmavo-compound abstractor: experience of being: x1 is x2's experience of being [bridi] (property of x2; with {ce'u} referring to x2's position) = li'imdu be lo ka. See li'i, ze'ei, {li'i ze'ei nu}
efku
fu'ivla x1 is recursively related to x2 by applying x3 (number) levels-of-recursion of the predicate-relation x4 (ka with two ce'u) Shortening of refkusi for more convenience in making V'y-style zi'evla-lujvo. tanru example for common usage: the day three days from now (tomorrow's tomorrow's tomorrow) -> lo bavlamdei efku be fi li ci . Cf. krefu, rapli, efku
refkusi
fu'ivla x1 is recursively related to x2 by applying x3 (number) levels-of-recursion of the predicate-relation x4 (ka with two ce'u) Short form: efku. tanru example for common usage: the day three days from now (tomorrow's tomorrow's tomorrow) -> lo bavlamdei refkusi be fi li ci . Cf. krefu, rapli, refkusi
cei'e
experimental cmavo define following selbri with sentence or tu'e...tu'u clause Usage: The selbri after cei'e is defined by the associated sentence or tu'e...tu'u clause. bo'a, bo'e, bo'i, bo'o, and bo'u represent places x1 through x5 within its place structure. (Use bo'ai for more places if needed, or ce'u for "next place"). // cei'e is meant to be used to define new words (implicit ca'e) but may be modified by evidentials to express an assertion (ju'a) or opinion (pe'i) on a meaning instead. Alternatively, smuni and ka'ei may be used. // See cei, goi, goi'e
incita
fu'ivla x1 (text) is an adposition expressing relation x2 (property of nonce place, has places for ce'u referring to members of x3) and connecting members of the set x3 (ordered group of text) The first member of x3 is what follows after the adposition (unless co is used) and is usually called 'complement' or 'argument'. The second member of x3 can sometimes be called 'noun phrase of adposition'; it can e.g. be the current clause (lo bridi), x1 of it, x2 of it etc. x3 doesn't need to represent the full specification, only the first member can be specified. To specify both members ce'o can be used. See also bridi, sumti, sumtcita