da KOhA1 -dav dza- cmavo

logically quantified existential pro-sumti: there exists something 1 (usually restricted).

In definition:

da'au (exp!)
pro-sumti: forgetful something/memory-less da
kau'a (exp!)
pro-sumti: strong-memory something1/eidetic da/elephant thing1 (logically quantified existential, arbitrarily-long-scope pro-sumti)

In notes:

aste
x1 is a star polygon/polytope, with regular protrusions x2, and regular intrusions x3
bu'ai (exp!)
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
ckajida
Define x1 to be a named dummy symbol (having a name heretofore unassigned) such that, if it were to exist, it would satisfy condition/have property x2 (condition/ka); let x1 be such that it satisfies/is described by x2.
ctu'au
x1 is involved in predicate x2; the latter being true of some argument structure syntactically entails something about the former.
dau'o
Quantifier modifier: endowment of existential import - repeal of existential import/abstention from claiming existence - assertion of non-existence
denxi'u
x1 is a gear/cogwheel with cogs x2, of device/vehicle x3, made of material x4
do'ei (exp!)
impersonal pronoun; generic-you; generic-one; a generalized person
dzadza
x1 (number) is the quantity of specimens in the domain of discourse that satisfy the property x2
dzama
x1 performs chore / menial duty / housework / errand x2 (nu/ka) for purpose / as obliged by x3.
gensima
x1 (text) is a temporary name for x2 (text, object, event) chosen in such a way that it is not used for naming anything else within the current scope
ja'u (exp!)
na'e fancuka modal: no matter (indirect question)...
kaidza
x1 (number) is the quantity of specimens in the domain of discourse that satisfy the property x2
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.
kau'u
Predicate to variable-binding binary quantifier. The first slot of the predicate must be a property.
kucyvla
x1=v1=k1 is a word/quotation crossing other words/quotations, meaning/defined by x2=v2, located at x3=k3
lanzu
x1 (mass) is a family with members including x2 bonded/tied/joined according to standard x3.
lo'au (exp!)
presuppositional definite article: the …; the thing(s) which …
na'ei (exp!)
Contradictory negation of a predicate
nonlingeni
x1 is agender. x1's gender identity is not identifying with any gender.
ro'oi (exp!)
universal plural quantifier. “All.”
ru'oi (exp!)
quantifier: "all" (as opposed to "every")
su'i'e (exp!)
mekso unary operator: digital addition.
su'oi (exp!)
existential plural quantifier. “There is/are.”
suzmeidza
x1 (number) is the quantity of individual or plural specimens in the domain of discourse that satisfy the property x2 (plural quantification)
te'i (exp!)
at a point on time axis
verfavzu'i
x1 is a developmental disability that hinders/disrupts x2's ability to do x3
xe'a (exp!)
pseudo-number that is unequal to itself.
xo'e'o (exp!)
unique / anonymous / nameless number.