lojbo jufsisku
Lojban sentence search

Total: 136 result(s)
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.
astrato
fu'ivla x1 is a grammatical abstraction of type x2 All Lojban constructs can be divided either to astrato/naly'astrato or to bridi, fasnu, selsku, namcu, dacti, gunma
dzadza
lujvo x1 (number) is the quantity of specimens in the domain of discourse that satisfy the property x2 Predicate equivalent of da. It enables rendering a quantifier's scope as a nested bridi level, and to terminate this scope explicitly by closing the sub-bridi. Synonymous with kaidza.
kaidza
lujvo x1 (number) is the quantity of specimens in the domain of discourse that satisfy the property x2 Predicate equivalent of da. It enables rendering a quantifier's scope as a nested bridi level, and to terminate this scope explicitly by closing the sub-bridi. Synonymous with dzadza.
nundumu
fu'ivla x1 is an event/state described by bridi x2 Predicate version of nu, which is is kind of relation between a bridi and an event/state. However with a regular predicate version it is possible to access the x2 just like any regular sumti place. See also nu, du'u.
su'umdu
fu'ivla x1 is the predicate abstraction described by text x2, and is of type x3 Brivla form of su'u. "se su'umdu" be used to talk about NU-clauses in general. See nundumu, du'umdu, zilkai, zilki'i, bridi, astrato
ta'oi
experimental cmavo explicit indicator that the speaker is completing/continuing a previously uttered bridi in the discourse The following text, until the next usage of .i, will be interpreted as being attached to a previous bridi, most likely, the most recently uttered one in the discourse/conversation that was not closed with .i.
i'au
experimental cmavo reset bridi-level to zero Auto-inserts all necessary terminators to reset to the top-level bridi of the sentence (i.e. everything that i would insert except the last vau). This is useful if you have opened multiple NU/NOI subclauses, and just want to close them all to add more sumti, terms, or a xoi clause to the main bridi without using a bunch of terminators. // May also be used with UI-cmavo. UI-cmavo placed immediately after i'au would scope over the entire sentence. This is useful for attaching attitudinals as afterthoughts, without having to close the entire sentence manually with the right number of vaus. See ji'au, fu'e, fu'o.
brivla
lujvo v1 is a morphologically defined predicate word signifying relation b2 in language v3. Derived from bridi and valsi, deleting b3, as we are speaking of the relationship independent of particular arguments. In Lojban, such words must end in a vowel and contain a consonant cluster within the first five letters (not counting y). Not all words that can be used as a selbri (for instance members of GOhA) are brivla.
du'umdu
fu'ivla x1 is a proposition/predication (statement with a truth value), stating that x2 is true Brivla-form of du'u. x1 and x2 are identical (filling them would equate the two sumti). See fatci, jetnu, jitfa, jufra, bridi, nundumu
jai'i
experimental cmavo takes NU or LE NU, turns into sumtcita: clarifies the semantic NU-type of the current bridi. 'mi jai'i li'i klama lo zarci', 'jai'i li'i ku mi klama lo zarci', and 'mi klama lo zarci jai'i li'i' are all acceptable and equivalent. Implies '(zo'e) li'i mi klama lo zarci', but avoids wrapping the bridi in an abstraction that makes its sumti hard to access via le go'i etc. Tagged sumti, if present, fills the x2 of the NU; e.g. 'jai'i li'i do mi klama lo zarci' implies 'fe do li'i mi klama lo zarci'
mai'i
experimental cmavo pro-sumti: the universal argument/value; syntactically-contextually and type-permitted maximally generic in its typing It is a pro-sumti with a universal reference set (restricted to syntactically-demanded/appropriate type). Probably semantically maximally and generally elliptical/generic. Typing can be restricted by (possibly metalinguistic) restriction. See also: zai'o (pro-sumti; empty), gai'o (pro-bridi; empty), cei'i (pro-bridi; universal), ctaipe. Proposed by: lai .az. .e lai .krtisfranks.
zai'o
experimental cmavo pro-sumti: the empty argument/value; syntactically-contextually and type-permitted maximally generic in its typing It is a pro-sumti with an empty reference set. Probably semantically maximally and generally elliptical/generic. Typing can be restricted by (possibly metalinguistic) restriction. See also: gai'o (pro-bridi; empty), mai'i (pro-sumti; universal), cei'i (pro-bridi; universal), ctaipe. Proposed by: lai .az. .e lai .krtisfranks.
ce'oi
experimental cmavo argument list separator: acts as a comma between arguments in an argument list supplied to a function. "ce'oi" is the word of choice to separate the arguments in bridi3. Using ce'o there has obvious limitations when the selbri actually calls for a sequence. Obviously, ce'oi has issues too if the selbri can accept an argument list, but this can be circumvented more readily with ke...ke'e brackets than it can with ce'o. Consider ".i lo ka broda cu selbri fi ko'a ce'o ko'e". Without inspecting the type requirements of broda and the respective types of ko'a and ko'e, one cannot determine the meaning of the bridi. Furthermore, if one accepts non-static typing of sumti places, multiple correct answers can be given for a question asking what is the bridi1. This would create ambiguity that is otherwise resolved by "ce'oi". See also ka, du'u, me'au
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
jezyje'u
lujvo x1 is the truth value / degree of truth of x2 (bridi) by epistemology/metaphysics x3 See also jetnu, jei