je JA -jev-jve- cmavo

logical connective: tanru-internal afterthought and.


In definition:

norvudzvi
x1 zviki x2 noi no'e vrude je no'e palci ku'o x3

In notes:

jeku'i
but
jbojevysofkemsuzgugje'ake'eborkemfaipaltrusi'oke'ekemgubyseltru
x1 reflects Lojbanic Soviet Federative Socialist Republic culture/nationality/community in aspect x2
mudgranyjvepexybi'urmai
x1 is a quantity of/contains/is made of wattle and daub (woven sticks covered with a plaster-like substance).
rilsle
x1 is the unit of a form of rhythm of x2
sagjvetavdraci
d1=s2=t3 is a musical/operetta about d2 composed/written by d3 for audience d4=s3=t2 with actors d5=s1=t1.
toldikcni
x1 has an emotional see-saw involving emotion(s) x2; x1 experiences emotion x2 irregularly.
verfavzu'i
x1 is a developmental disability that hinders/disrupts x2's ability to do x3
zdici'i
x1 is entertaining and interesting to x2
jijgi
x1 is a connective question, requesting the connective between x2 (du'u) and x3 (du'u) in that order, assuming that they are true.
nalti
x1 is a logical 'NOT' statement resulting from the (multiplicative) negation of/applying the 'NOT' operator to x2 (du'u); x1 is the logical negation/negative of x2.
ribga
x1 is a logical statement that x2 (du'u) is true regardless of/irrespective of/independent of/whether or not x3 being/is true.
sigda
x1 is a material conditional/'IF' statement (logical statement) saying that x2 (du'u) logically implies x3 (du'u) ("x3 is true if x2 is true; if x2, then x3; x2 being true is sufficient to guarantee the truth of x3").
skudi
x1 is a logical XOR/mutual-contradiction/exclusive disjunction statement saying that only/exactly one of x2 and x3 can be true at any given time.
tsida
x1 is a logical statement of proposition-equivalence/is a biconditional/'IFF' statement saying that x2 (du'u) is true if and only if x3 is true ("x2 is logically equivalent to x3; x2 being true is sufficient and necessary for guaranteeing the truth of x3; x2 iff x3").
ce'au (exp!)
Formulates periodic ordered list of exactly the connectands in the order presented.
ji'oi (exp!)
This cmavo precedes a predicate (at least binary) and turns it into a conjunction, which syntactically behaves like JA cmavo. The predicate indicates the relationship between the two connected propositions. Terminator: {te'u}.
jo'oi (exp!)
non-logical connective: the more ..., the more...
kai'i (exp!)
Property relativizing determiner / unary quantifier constructor. {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.
pe'ei (exp!)
mark a logical connective as having maximal scope.
su'au (exp!)
digit/number: exact, exactly equal to, no more and no less, mathematically ideally (no measuring or rounding error)
ta'u'i (exp!)
Copy and paste the overall seltau of immediately preceding sumti at this location.
ta'u'u (exp!)
Copy and paste the overall tertau of immediately preceding sumti at this location.
vy'y
brisni/statement terminator.
xei'u'oi (exp!)
interval endpoint status (exclusive/inclusive) marker: dependent and coincident/matching with other
xoi'u'oi (exp!)
interval endpoint status (exclusive/inclusive) marker: dependent and contrary/contraposed with other
debrpisu
d1 is a pea from plant [legume] of species Pisum sativum of variation/variety/cultivar d2.
cesyjvedotla'okemsorgugject
Holy Roman Empire (of the German Nation)
abu zei sance
x1 is an open/low central unrounded vowel sound produced by x2.