terbri lujvo

x1 (sequence of sumti) is the sequence of arguments that, joined by relation x2 (ka), form predicate x3 (du'u)

In Lojban, for example, "mi ce'o do cu terbri lo ka ce'u prami ce'u ku lo du'u mi prami do". In the mathematical notation P(x, y, z) for a predicate, the sequence/tuple (x, y, z) is the terbri. Note that x1 is not textual, even though Lojbanists informally tend to call a word or phrase "(one of) the terbri" of an utterance. For this usage see terbrisni.


In definition:

gafyzmico
x1=z1=g1 is a zmico that modifies the terbri default specification of a brivla, producing result x2=z2=g3 at level/with construct-orientation x3=z3 with discourse duration x4=z4 in language x5=z5; x1 is a default specification modifier that produces output re-specification x2
sumbi'o
x1 fills selbri x2 in terbri x3.
sumyzmico
x1=z1=s1 is a zmico that functions as a pro-sumti which references specified default value x2=z2 (definition/function) that works with discourse-orientation x3=z3 (discourse exterior/interior), filling terbri of brivla/predicate x4=s2, in language x5=z5; x1 is a default-value-referencing pro-sumti with definition/function/value x2
terbrimoi
x1=m1 is the x2=m0-th of terbri in bridi x3=b1
velseljvo
x1 is the (underlying/originating) construct (usually tanru) of lujvo/compound x2 with terbri/structure x3 and meaning x4
bo'a
pro-sumti: definitional terbri variable 1; x1
bo'ai
convert number into pro-sumti: definitional terbri variable with associated number; xn
bo'e
pro-sumti: definitional terbri variable 2; x2
bo'i
pro-sumti: definitional terbri variable 3; x3
bo'o
pro-sumti: definitional terbri variable 4; x4
bo'u
pro-sumti: definitional terbri variable 5; x5
de'ai
default value (re)specification/(re)assignment/(re)definition/over-write; set new default value (terbri-specific; permanent)
di'au
pro-sumti and sumyzmico: discourse-interior default it (terbri-specific)
di'ei
pro-sumti and sumyzmico: an elliptical/unspecified value which does not necessarily obey the default setting for the corresponding terbri that is explicitly specified in the definition of the word; has some value which makes bridi true
re'au'e
the trivial selbri conversion - identity permutation of terbri
sei'au
terbri editor: passes the terbri value through the quoted function so that the sumti that fills it really is filling the output of the function
ze'ai'e
selbri conversion: permute all terbri so as to be exactly backward.
ze'au'e
last-th conversion: switches the last terbri with the first one.
zi'au
nonexistent/undefining it; the selbri is not applicable when the other terbri are filled in the manner in which they are in this utterance/bridi.
zi'oi
fills and deletes (in the manner as {zi'o}) all terbri of immediately previous word that are not explicitly filled with a sumti
tcanaca
x1 is the node of present concern/is the current position in graph x3 (not necessarily oriented; notice the terbri number), connected (possibly indirectly) to/with other nodes x2 (possibly incomplete set) via (oriented) paths x4

In notes:

bridi
x1 (du'u) is a predicate relationship with relation x2 among arguments (sequence/set) x3.
tese
(3, 1, 2)rd conversion
brisni
x1 (text) represents a predicate relationship with relation represented by x2 (text) among referents of x3 that are arguments (sequence/set of texts).
brivlacme
c1 (quoted word(s)) is a name of c2 used by c3 that morphologically [strict] is brivla bv1 in language x5
brivlasmicme
c1=s1 (quoted word(s)) is a name of c2 used by c3 that morphologically [loose] evokes/is similar to/is a brivla bv1=s2 (text; may be multiple words), similar in property/quality[/amount?] s3 (ka/ni), in language x6
gincilnacnalfadni
f1 (member) exhibits aneuploidy (atypical quantity of chromosome) of type/number n1 in/with respect to chromosome gc1 which is atypical of species/set gc3=f3
gritezdybi'otei
x1 = t1 is the elapsed time required for decaying/diminishing/reducing/shrinking population x2 = g1 to decrease in number by a factor of exactly/approximately 1/e^(x3) from that which is considered to be the initial population size, where e is the natural exponential base and x3 [li; default: 1] is a real number, according to standard/under condition/by model/in experiment x4; x1 is the one-(e^(x3))-th-life of population/sample x2; the (approximate) (x3)-th one-e-th-ing/e-fold decrease(/increase) of population x2 takes approximately x1 (time).
grixabybi'otei
x1 = t1 is the elapsed time required for decaying/diminishing/reducing/shrinking population x2 = g1 to decrease in number by a factor of exactly/approximately half according to standard/under condition/by model/in experiment x3; x1 is the half-life of population/sample x2; the (approximate) halving of population x2 takes approximately x1 (dimensionful number: time).
grixonbybi'otei
x1 = t1 is the elapsed time required for decaying/diminishing/reducing/shrinking population x2 = g1 to decrease in number by a factor of exactly/approximately 1/(x3) from that which is considered to be the initial population size, where x3 [li; default: 1] is a positive real number, according to standard/under condition/by model/in experiment x4; x1 is the (x3^(-1))-th-life of population/sample x2; the (approximate) one-x3-th-ing/(x3)-fold decrease(/increase) of population x2 takes approximately x1 (time).
jvocme
c1 (quoted word(s)) is a name of c2 used by c3 that morphologically [strict] is a Lojbanic lujvo built from predicates metaphor/tanru l4
jvocmeborvla
x1 is a word which is a {cmevla} (morphological name-word), referring to x2 and used by x3, and which is also of the form of a lujvo (excepting the last rafsi) formed from veljvo x4, in language x5
mivru'e
p1 is the life of j1 through stages p4.
momrai
x1=traji1=moi1 is the x2=moi(-1)th (li) most extreme member of set/range x5=traji4=moi2 (set; possibly ordered) in property/ordered according to measure of property x3=traji2 \sim moi (ka) measuring from the x4 = traji3-est/utmost (ka; default: ka zmadu) member, which/who has a similar ordinality count of x6 (li) in the same set by the same ordering.
nonsmi
x1 is the zero(-like)/additive identity of structure/ring x2; often is denoted by ' 0R ' (for structure/ring R, specified by x2) or by '0' when context is obvious
panryzilbri
x1=b2=p3 is a (predicate) equivalence relationship/similarity/parallel with/between/among arguments (sequence(s)/set(s)) x2=b3=p1=p2, partitioning (with only empty intersection) set/structure x3=p4; elements of x2 are mutually similar in property x1 within structure x3; x3 is partitioned by x1 into equivalence classes (including) x2;
pavysmi
x1 is the one(-like) element/multiplicative identity of structure/ring x2; often is denoted by ' 1R ' or ' IR ' or by (when context is obvious) '1' or 'I', for structure/ring R (given by x2).
selbrisni
x1 (text) represents relation for a predicate relationship represented by x2 (text) among referents of x3 that are arguments (sequence/set of texts).
terbrisni
x1 (sequence/set of texts) are arguments, the referents of which are related by relation represented by x2 (text) for a predicate relationship represented by x3 (text).
terbrisu'a
x1 is the place structure of predicate relation x2 (n-ary ka, me'ei, or la'e zo)
velri'ekempintu'a
x1 is a relatively flat alluvial plain/river delta between (mostly) terminal branches of river x3 on landmass x4, near or touching terminal point/boundary x2.
xlajvo
x1 is a bad/poorly-made lujvo with issue x2, bad according to x3 and by standard x4
xlarafsrejvo
x1 is an improperly-created/wrongly-proposed/illy-proposed lujvo with intended meaning x2 but actual interpretation/built from metaphor x3, due to/with error x4 in its rafsi x5, which is unacceptable to x6 by standard x7, in language x8
zilterle'u
x1=l2 is a formal character-set/alphabet containing letter(s)/characters/digits/terms x2=l1; x2 is a letter in formal alphabet x1 and is treated formally (it has no meaning, other than possibly being distinct from other letters in x1)
fenfa
x1 (li) is an x3rd root of x2, with other (identifying) characteristics x4.
fizde
x1 awaits for x2 (event) with bated breath; x1 waits for the occurrence of x2 excitedly/restlessly; colloquially: x1 just cannot wait for x2 to happen; x1 is eager for event x2.
jviso
x1 is the ISO designation/result/standard/code for topic x2 applied to specific case/individual/group/thing x3 according to rule/ISO specification x4 published by/according to mandating organization x5 (default: ISO)
kazmi
x1 (li) is the cardinality of set x2 (set)
kukru
x1 is orthogonal/perpendicular/right/at right angle/rectified/square/normal to x2, where they (are projected to) intersect orthogonally at locus/on set x3, otherwise being utterly distinct (and not even on the same axis/scale) in sense x4
bei'e
Multiple sumti link; open-ended sumti-linking.
dai'o
discursive & gafyzmico: reset/restore all defaults (permanently) to discourse-exterior specification; cancel all following discourse-interior default assignments
dau'a
gafyzmico: Reset all default specifications of immediately previous word to official definition specifications hereinafter (permanently)
de'au
gafyzmico: Cancellation (permanent) of all defaults in immediately previous word
de'oi
Cancellation (instant-/usage-wise; temporary) of all defaults in immediately previous word
di'oi
pro-sumti & sumyzmico: discourse-exterior default it
do'ai
discursive & gafyzmico: ignore/kill all following default specifications (permanently)
doi'a
gafyzmico: Reset all default specification of the immediately previous word to their respective discourse-external/official definition specifications for this instance/usage only.
du'a'o
mekso binary operator: extract substructure/underlying set/endowing operator; the substructure (general sense; includes just operator, order, set, etc.) of X1 (structure; explicitly given by {du'a'e}) which is formed by collecting the ith entries of that {du'a'e}-tuple in order together into their own {du'a'e}-tuple (or by extracting them naked into the ambient environment if X2 is a singleton) for all i in set X2
ku'ai'i
empty/vacuous selbri
po'i'oi
mekso at-most-3-ary operator: convert to polynomial; X1 (ordered list of algebraic structure (probably field) elements) forms the (ordered list of) coefficients of a polynomial/Laurent-like series with respect to indeterminate X2 under ordering rule X3 (default for finite list: the first entry is the coefficient of the highest-degree term and each subsequent entry is the next lesser-degree coefficient via counting by ones and wherein the last entry is the constant term)
re'ai'e
free conversion
se'ai'e
(n, 1, 2, \dots, n-2, n - 1)st conversion
se'au'e
(2, 3, \dots, n-1, n, 1)st conversion.
se'o'e
elliptical/generic/unspecific/vague selbri conversion
se'u'o
selbri conversion question
tu'oi'u
end connective string, set, list such that the set of terms provided is exhaustive.
aigne
x1 is an eigenvalue (or zero) of linear transformation/square matrix x2, associated with/'owning' all vectors in generalized eigenspace x3 (implies neither nondegeneracy nor degeneracy; default includes the zero vector) with 'eigenspace-generalization' power/exponent x4 (typically and probably by cultural default will be 1), with algebraic multiplicity (of eigenvalue) x5
akcne
x1 is the action (physics quantity) of system x2 during the course of evolution/history/over path/within spacetime region x3 under conditions x4
detmive
x1 has experienced x2 (timestamp-style expression of dimensionful measure of time) units of time of existence/life according to standard x3
enfa
x1 abstractly pertains to an exponential/root/logarithmic relationship between the elements of x2 (ordered pair) which are related via concrete relationship x3.
faukne
x1 is a mathematical object for/to which operator x2 is defined/may be applied when under conditions x3 under definition (of operator)/standard/type x4
javniso
x1 is the ISO designation/result/standard/code for topic x2 applied to specific case/individual/group/thing x3 according to rule/ISO specification x4 published by/according to mandating organization x5 (default: ISO)
jgenrtrefoili
x1 is a trefoil knot (shape/object) with characteristics x2
jvaiso
x1 is the ISO designation/result/standard/code for topic x2 applied to specific case/individual/group/thing x3 according to rule/ISO specification x4 published by/according to mandating organization x5 (default: ISO)
jvinjata
x1 is the IATA (International Air Transport Association) designation/result/standard/code for general subject type x2 (contextless default probably: airports) applied to specific case/entity/procedure/group/hub/terminus/location x3 according to rule/IATA specification/publication x4 published by/according to mandating organization x5 (default: IATA)
jvinjica'o
x1 is the ICAO (International Civil Aviation Organization; French: Organisation de l'aviation civile internationale, OACI) designation/result/standard/code for general subject type x2 (contextless default probably: airports) applied to specific case/entity/procedure/group/hub/terminus/location x3 according to rule/ICAO specification/publication x4 published by/according to mandating organization x5 (default: ICAO)
kanmige
x1 (property with two places for ce'u) is the property according to which members of x2 (ordered set with two members) are related to each other in the same way as members of x3 (ordered set with two members), or in the same way as members of x4 (ordered set with two members), etc. ... (infinite number of places)
klesrverlapi
x1 (set) and x2 (set) are sets which have non-empty mutual intersection and mutual relative complements (set subtraction; both orders of operands/directions considered); id est: x1 and x2 share at least one element, but also have a mutual symmetric difference such that neither is a subset of the other.
pletomino
x1 is a polyform/polyplet/polyomino/polyabolo/polyiamond (etc.) composed of parts/'tile' polytope x2 arranged in (finite) unified shape/pattern x3 in ambient space x4 and subject to rules/restrictions/conditions x5
poirsi
x1 is a partial/total ordering on set x2 defined by rules x3
pramrvalentine
x2 is the Valentine (date/lover for the eponymous holiday) of x1; x1 is to go out on a Valentine''s Day date or otherwise be (ceremonially) associated with x2 for the holiday and festivities of Valentine's Day.
tartidu
x1 is directly/linearly proportional to x2 via coefficient/constant of proportionality x3 and background/constant offset x4; there exists constants x3 and x4 such that x1 = x3×x.
tcaudu
x1 is the formatted address for something - (with format) starting with x2, which is an address/locality/administrative subunit/region which belongs to slightly broader address/locality/administrative subunit/region x3, which in turn itself belongs to a slightly broader address/locality/administrative subunit/region x4, \dots (etc.).
tolzilo
x1 and x2 and x3 ... satisfy an impossible-to-satisfy relation.
umre
x1 (set) is measurable and has measure x2 (li; non-negative real number or possibly positive infinity) by measure x3 in space/dimensionality/under conditions x4; x2 is the x3 measure of set x1 in space x4; x3 is a measure which is defined on some class of measurable sets in x4 such that it maps x1 to x2
jvinjiata
x1 is the IATA (International Air Transport Association) designation/result/standard/code for general subject type x2 (contextless default probably: airports) applied to specific case/entity/procedure/group/hub/terminus/location x3 according to rule/IATA specification/publication x4 published by/according to mandating organization x5 (default: IATA)