bridi -bri- gismu

x1 (du'u) is a predicate relationship with relation x2 among arguments (sequence/set) x3.

Also: x3 are related by relation x2 (= terbri for reordered places). (x3 is a set completely specified); See also sumti, fancu.


In definition:

cei
selbri variable assignment; assigns broda series pro-bridi to a selbri.
co'e
elliptical/unspecified bridi relationship.
da'o
discursive: cancel pro-sumti/pro-bridi assignments.
du'u
abstractor: predication/bridi abstractor; x1 is predication [bridi] expressed in sentence x2.
gi'a
logical connective: bridi-tail afterthought or.
gi'e
logical connective: bridi-tail afterthought and.
gi'i
logical connective: bridi-tail afterthought conn question.
gi'o
logical connective: bridi-tail afterthought biconditional/iff/if-and-only-if.
gi'u
logical connective: bridi-tail afterthought whether-or-not.
go'a
pro-bridi: repeats a recent bridi (usually not the last 2).
go'e
pro-bridi: repeats the next to last bridi.
go'i
pro-bridi: preceding bridi; in answer to a yes/no question, repeats the claim, meaning yes.
go'o
pro-bridi: repeats a future bridi, normally the next one.
go'u
pro-bridi: repeats a remote past bridi.
ja'a
bridi logical affirmer; scope is an entire bridi.
jei
abstractor: truth-value abstractor; x1 is truth value of [bridi] under epistemology x2.
ka
abstractor: property/quality abstractor (-ness); x1 is quality/property exhibited by [bridi].
kei
elidable terminator: end abstraction bridi (often elidable).
li'i
abstractor: experience abstractor; x1 is x2's experience of [bridi] (participant or observer).
mo
pro-bridi: bridi/selbri/brivla question.
mu'e
abstractor: achievement (event) abstractor; x1 is the event-as-a-point/achievement of [bridi].
na
bridi contradictory negator; scope is an entire bridi; logically negates in some cmavo compounds.
nei
pro-bridi: repeats the current bridi.
ni
abstractor: quantity/amount abstractor; x1 is quantity/amount of [bridi] measured on scale x2.
no'a
pro-bridi: repeats the bridi in which this one is embedded.
noi
non-restrictive relative clause; attaches subordinate bridi with incidental information.
nu
abstractor: generalized event abstractor; x1 is state/process/achievement/activity of [bridi].
poi
restrictive relative clause; attaches subordinate bridi with identifying information to a sumti.
pu'u
abstractor: process (event) abstractor; x1 is process of [bridi] proceeding in stages x2.
ra'o
flag GOhA to indicate pro-assignment context updating for all pro-assigns in referenced bridi.
sei
start discursive (metalinguistic) bridi.
se'u
elidable terminator: end discursive bridi or mathematical precedence;usually elidable.
si'o
abstractor: idea/concept abstractor; x1 is x2's concept of [bridi].
su'u
abstractor: generalized abstractor (how); x1 is [bridi] as a non-specific abstraction of type x2.
vau
elidable: end of sumti in simple bridi; in compound bridi, separates common trailing sumti.
vo'a
pro-sumti: repeats 1st place of main bridi of this sentence.
vo'e
pro-sumti: repeats 2nd place of main bridi of this sentence.
vo'i
pro-sumti: repeats 3rd place of main bridi of this sentence.
vo'o
pro-sumti: repeats 4th place of main bridi of this sentence.
vo'u
pro-sumti: repeats 5th place of main bridi of this sentence.
za'i
abstractor: state (event) abstractor; x1 is continuous state of [bridi] being true.
zo'e
pro-sumti: an elliptical/unspecified value; has some value which makes bridi true.
zo'u
marks end of logical prenex quantifiers/topic identification and start of sentence bridi.
zu'o
abstractor: activity (event) abstractor; x1 is abstract activity of [bridi] composed of x2.
du'ukau
bridi abstractor: x1 is the answer to the question x2
gi'enai
logical connective: bridi-tail afterthought x but not y.
gi'onai
logical connective: bridi-tail afterthought exclusive or; Latin 'aut'.
go'ira'o
pro-bridi: preceding bridi; repeats claim as true, updating for speaker/listener change.
ja'aku
(adverbial) bridi logical affirmer; "it is true that...."; affirms the bridi as well as any other adverbial or quantifier located on its right.
ja'aru'e
weak bridi affirmation; barely; almost not at all.
jaigau
makes x1 the agent of a bridi; old 1st place moves to extra place (fai).
le go'i
description pro-sumti: reuses the value of the x1 of the previous bridi.
le jaica
description: marks description extracting the time tense place of the description bridi.
le jaivi
description: marks description extracting the location place of the description bridi.
le sego'i
description pro-sumti: reuses the value of the x2 of the previous bridi.
le tego'i
description pro-sumti: reuses the value of the x3 of the previous bridi.
le vego'i
description pro-sumti: reuses the value of the x4 of the previous bridi.
le xego'i
description pro-sumti: reuses the value of the x5 of the previous bridi.
li'i ze'ei ka
abstractor: experience of being: x1 is x2's experience of being [bridi] (property of x2; with {ce'u} referring to x2's position)
li'i ze'ei nu
abstractor: experience of event: x1 is x2's experience of observing or participating in [bridi] (event)
nagi'a
logical connective: bridi-tail afterthought conditional/only if.
nago'i
selbri: repeats preceding bridi while denying it as false; pro-assign values are unchanged.
naku
(adverbial) bridi contradictory negator; "it is not true that...."; negates the bridi as well as any other adverbial or quantifier located on its right.
naru'e
weak bridi negation; almost, but not quite.
sedu'u
compound abstractor: sentence/equation abstract; x1 is text expressing [bridi] which is x2.
si'o ze'ei du'u
abstractor: x1 is x2's concept of [bridi] (proposition or {kau}-question)
si'o ze'ei ka
abstractor: x1 is x2's concept of the property [bridi]
si'o ze'ei nu
abstractor: x1 is x2's concept of the event [bridi]
si'o ze'ei poi'i
abstractor: x1 is x2's concept of the object bound to {ke'a} and described by [bridi]
brika'i
x1 is a pro-bridi representing predicate relationship x2 with relation x3 among arguments x4.
brili'e
x1 is a prenex of bridi/predicate relationship x2 with relation x3 among arguments x4.
brirebla
x1 is a bridi-tail of predicate relationship x2 with relation x3 among arguments (sequence/set) x4.
jezyje'u
x1 is the truth value / degree of truth of x2 (bridi) by epistemology/metaphysics x3
terbrimoi
x1=m1 is the x2=m0-th of terbri in bridi x3=b1
metfo
x1 (bridi) is a metaphor/figurative expression having literal meaning x2 to observer x3
bi'ai
Sumtcita indicating that the bridi must be true under the conditions indicated by the tagged sumti.
cei'i
pro-bridi: the universal predicate
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
du'au
Text to bridi conversion
fi'oi
Right-scoping adverbial clause: encloses a bridi and turns it into an adverbial term; the antecedent (ke'a) of the enclosed bridi stands for the outer bridi {lo su'u no'a ku} (the bridi in which this fi'oi term appears), including all the other adverbial terms (tags...) within this bridi located on the right of this fi'oi term (rightward scope).
fo'ai
Creates a predicate abstraction sumti out of a full bridi clause, binding all the necessary lambda variables to the fo'a-fo'u pronoun series.
ga'ei
abstractor: sensation / qualia abstractor; x1 is the sensation / qualia associated with objects with property [bridi, bound to ce'u], via sense x2, as sensed by x3
gai'o
pro-bridi: the empty predicate
go'ai
last bridi (with its modifiers)
go'oi
pro-bridi: quotes the next word and repeats the most recent bridi containing that word
i'au
reset bridi-level to zero
iau
reset bridi-level to zero
jai'i
takes NU or LE NU, turns into sumtcita: clarifies the semantic NU-type of the current bridi.
ju'ei
Tight scope bridi separator; analogous to {.i} without ending the abstractor or relative clause.
ka'ei
abstractor: predicate abstractor. x1 is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables.
kai'ei
abstractor: x1 (x2, ...) are such that they satisfy [bridi], using bo'a/bo'e/etc for variables
kai'i
Property relativizing determiner. {kai'i} introduces a predicate whose first argument slot becomes filled by the property made by taking the bridi in which this {kai'i} appears and putting {ce'u} into the argument slot in which this {kai'i} argument was located. Put formally, "kai'i brodi cu brodu" = "lo ka ce'u brodu cu brodi". Additionally, a {kai'i} term has a rightward logical scope, like quantifiers and adverbials.
kai'u
abstractor: x1 (x2, ...) are such that they satisfy [bridi], binding to the open {ce'u} slots.
ko'ai
Creates a predicate abstraction sumti out of a full bridi clause, binding all the necessary lambda variables to the ko'a-ko'u pronoun series.
li'oi
marks word/construct as being optional, i.e. the bridi would still be both grammatical AND reflect the speakers opinion/intention would the marked construct be left out
lo'oi
Description clause: create a sumti from the enclosed bridi, describing the referent of the created sumti as filling the bridi place filled with {ke'a}.
lu'au
Bridi to text conversion
mau'a
shortening of {lo du'u ma kau *bridi*}, with {ce'u} bound to {ma kau}
na'ai
Same function as {na} but with the additional meaning that the sumti in the bridi have no prior experience together.
no'au
Introduces a bridi relative clause, with the scope of {xoi} and the semantics of {noi}
noi'a
incidental/non-restrictive adverbial: converts selbri to bridi adverbial term. The first place of the converted selbri is claimed to be such that the outer bridi satisfies it, and the outer bridi is claimed. {broda noi'a brode} means {lo nu broda ku goi ko'a cu fasnu .i ko'a brode}.
poi'a
restrictive adverbial: converts selbri to bridi adverbial term. The first place of the converted selbri is claimed to occur in conjunction with the outer bridi. {broda poi'a brode} means {lo nu broda cu fasnu gi'e brode}.
poi'o'a
restrictive first place adverbial: converts selbri to bridi adverbial term. The outer bridi is claimed to occur together with the event of the first place of that bridi satisfying the converted selbri. {broda poi'o'a brode} means {broda fau lo nu vo'a brode}.
rai'o
Quote conversion: the quotation as presented uses pro-sumti and pro-bridi as if the current utterer (not the original utterer) were saying it, but the meaning conveyed is identical to that of the actual quotation by the original utterer and there is a claim that this meaning was expressed elsewhere
soi'a
subordinating adverbial: converts selbri to bridi adverbial term. The bridi is claimed to satisfy the first place of the converted selbri, but is not itself claimed to occur. {broda soi'a brode} means {lo nu broda cu brode}
ta'ai
pro-bridi: Quotes a single Lojban word, and turns it into the bridi, "x1 is the same word-shape as the quoted word"
ta'oi
explicit indicator that the speaker is completing/continuing a previously uttered bridi in the discourse
xau
preposition: marks that which the bridi is beneficial to; for the benefit of..., with beneficiary...
xau'a
shortening of {lo du'u xu kau *bridi*}
xe'ei
abstractor: place abstractor; x1 is the place where [bridi] takes place
xei'i
reattaches the following attitudinals to the containing bridi; precedes free-floating attitudinals to be understood as modifying the bridi they are contained in
xoi
Right-scoping adverbial clause: encloses a bridi and turns it into an adverbial term; the antecedent (ke'a) of the enclosed bridi stands for the outer bridi {lo su'u no'a ku} (the bridi in which this xoi term appears), including all the other adverbial terms (tags...) within this bridi located on the right of this xoi term (rightward scope).
xu'o'e
elliptical bridi logical negator/affirmer/truth-evaluation
xu'u
bridi to sumti: marks the beginning of a subordinate bridi; the whole construct is a sumti referring to the enclosed bridi
zai'u
Quote conversion: the sentence(s)/bridi (possibly plural) is/are syntactically correct and semantically intended by the utterer if the outermost layer of quotes (markers) which immediately follows were to be omitted/removed, but the quoted text is in fact a quote (of the indicated type) from some source.
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.
zoi'u
tags a topic or prenex; scopes over the entire bridi (unless there is already a {zo'u} clause).
zu'ai
shows mutual activity between this place and the first place of the current bridi; members participating in the activity are put into the first place (that e.g. can be formed by connecting sumti with {ce} or {jo'u})
brinefa
x1 is a part of Lojban text representing rule 'bridi-tail' according to the first edition of the book 'The Complete Lojban Language'.
nundumu
x1 is an event/state described by bridi x2
onga
x1 (text) is written in a dialect where selbri in every bridi-tail is assumed to have {so'o'o'oi} applied to it
ci zei brinefa
x1 is a part of Lojban text representing rule 'bridi-tail-3' according to the first edition of the book 'The Complete Lojban Language'.
pa zei brinefa
x1 is a part of Lojban text representing rule 'bridi-tail-1' according to the first edition of the book 'The Complete Lojban Language'.
re zei brinefa
x1 is a part of Lojban text representing rule 'bridi-tail-2' according to the first edition of the book 'The Complete Lojban Language'.

In notes:

cedra
x1 is an era/epoch/age characterized by x2 (event/property/interval/idea).
fancu
x1 is a function/single-valued mapping from domain x2 to range x3 defined by expression/rule x4.
gunma
x1 is a mass/team/aggregate/whole, together composed of components x2, considered jointly.
sumti
x1 is a/the argument of predicate/function x2 filling place x3 (kind/number).
pecai
restrictive relative phrase marker: permanently / inalienably associated with; it is impossible or near-impossible to break that relation
pesai
restrictive relative phrase marker: semi-permanently associated to; will remain associated unless something breaks that relation
brije'u
x1 (predicate) is true when applied to argument list x2 (sequence)
bripre
x1 is a person who has a body that expresses predicate relationships.
brisni
x1 (text) represents a predicate relationship with relation represented by x2 (text) among referents of x3 that are arguments (sequence/set of texts).
brivla
v1 is a morphologically defined predicate word signifying relation b2 in language v3.
dzadza
x1 (number) is the quantity of specimens in the domain of discourse that satisfy the property x2
kaidza
x1 (number) is the quantity of specimens in the domain of discourse that satisfy the property x2
selbri
x2=b1 (du'u) is a predicate relationship with relation x1=b2 among arguments x3=b3 (ordered set).
selbrisni
x1 (text) represents relation for a predicate relationship represented by x2 (text) among referents of x3 that are arguments (sequence/set of texts).
selbritcita
x1 is a selbri tag showing information x2
sibypevyfanva
x1 metaphorically translates/transfers/extends/applies concept x2 to new context x3 from prior context x4; x1 uses concept x2 in new way x3, derived from prior way x4.
terbripaubri
x1=bP1=p1 is a subordinate clause relation / abstraction relation with predicate x2=bP2 and arguments x3=bP3, among the arguments x4=p2=bZ3 of relation x5=bZ1.
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).
vlapoici'e
x1 (text) is an idiom, set phrase, idiomatic expression, phrasal idiom of sequence of words x2 (text) with the formative feature x3 (property of x1)
zilbri
x1 (predicate) is true when applied to argument list x2 (sequence)
zilki'i
x1=c3 is a predicate relationship.
brivo
x1 is a predicate word defined as such by its word shape, signifying relation x2 (n-ary property) in language x3
bei'e
Multiple sumti link; open-ended sumti-linking.
ca'au
Refers to what is usually assumed to be the argument of tense tags when no explicit argument is given
cau'o'e
elliptical/vague/indecisive scalar affirmer/negator; true neutral/non-committed/uninvolved scalar truthfulness/assertion
ce'oi
argument list separator: acts as a comma between arguments in an argument list supplied to a function.
co'ai'e
Non-committal/agnostic/unassertive/abstaining/neutral tanru inversion.
gi'ei
afterthought abstraction wrapper
ku'ai'i
empty/vacuous selbri
mai'i
pro-sumti: the universal argument/value; syntactically-contextually and type-permitted maximally generic in its typing
mei'o
Elidable terminator for selma'o MEIhE (which turns any number of sumti into a selbri-unit)
mo'oi
interrogative gadri: "which"
nei'ai
double-negative toggle: every odd-counted explicit usage makes negation additive; unmentioned or every even-counted explicit usage makes negation multiplicative.
pau'ai
rhetorical construct marker - genuine/serious/literal assertion/question/command marker
sau'e'u
topicalizer (sumtcita/discursive; somewhat meta): the following discourse is about/relates to/has topic/concerns
xai'u'oi
interval endpoint status (exclusive/inclusive) marker: independent of the other, all options satisfy
xau'u'oi
elliptical/vague interval endpoint status (exclusive/inclusive) marker
xei'u'oi
interval endpoint status (exclusive/inclusive) marker: dependent and coincident/matching with other
xe'u
Abstraction variable indicator selbrisle.
xoi'u'oi
interval endpoint status (exclusive/inclusive) marker: dependent and contrary/contraposed with other
zai'o
pro-sumti: the empty argument/value; syntactically-contextually and type-permitted maximally generic in its typing
zau'e'u
text affirmation/negation mode toggle
zo'au
start logical, topical, or termset postnex
zoi'ai
non-mekso quote/name substitution for ordered collection of prescriptions, descriptions, definitions, etc.
astrato
x1 is a grammatical abstraction of type x2
brinesi
x1 is a part of Lojban text representing rule 'sentence' according to the first edition of the book 'The Complete Lojban Language'.
du'umdu
x1 is a proposition/predication (statement with a truth value), stating that x2 is true
inbri
x1 (proposition) is a clause expressing adverbial relation x2 (property of nonce place, has places for ce'u referring to members of x3) and connecting members of x3 (ordered group)
jorlge
x1 is the result of applying logical connective/conjunction x2 to the terms of the ordered list x3 in the order given, in system x4
su'umdu
x1 is the predicate abstraction described by text x2, and is of type x3
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.).
tcuskuue
x1 (lu; quote) is said/expressed by x2, followed by expression x3 (lu; quote), via expressive medium x4.
tolzilo
x1 and x2 and x3 ... satisfy an impossible-to-satisfy relation.
zenbaje
x1 (experiencer/function) increases/gains/is incremented/augmented in property/quantity x2 such that it achieves/had achieved having that property at 'time' x3 (abstraction, number) according to standard x4