da KOhA1 -dav-dza- cmavo

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


In definition:

moldrudandu
x1 =da1=dr1=m1 is a/the (palatine) uvula [body-part] of x2 =m2.
da'au
pro-sumti: forgetful something/memory-less da
kau'a
pro-sumti: strong-memory something1/eidetic da/elephant thing1 (logically quantified existential, arbitrarily-long-scope pro-sumti)
gugdesuxe
x1 is the country with the code ISO-3166 “SH” (Saint Helena, Ascension And Tristan Da Cunha) for people x2.

In notes:

lanzu
x1 (mass) is a family with members including x2 bonded/tied/joined according to standard x3.
denxi'u
x1 is a gear/cogwheel with cogs x2, of device/vehicle x3, made of material x4
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
kucyvla
x1=v1=k1 is a word/quotation crossing other words/quotations, meaning/defined by x2=v2, located at x3=k3
suzmeidza
x1 (number) is the quantity of individual or plural specimens in the domain of discourse that satisfy the property x2 (plural quantification)
jinda
x1 is a star polygon/polytope, with regular protrusions x2, and regular intrusions x3
bu'ai
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
dau'o
Quantifier modifier: endowment of existential import - repeal of existential import/abstention from claiming existence - assertion of non-existence
do'ei
impersonal pronoun; generic-you; generic-one; a generalized person
ja'u
na'e fancuka modal: no matter (indirect question)...
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.
kau'u
Predicate to variable-binding quantifier. The first slot of the predicate must be a property.
na'ei
Contradictory negation of a predicate
ro'oi
universal plural quantifier. “All.”
ru'oi
quantifier: "all" (as opposed to "every")
su'i'e
mekso unary operator: digital addition.
su'oi
existential plural quantifier. “There is/are.”
te'i
at a point on time axis
xe'a
pseudo-number that is unequal to itself.
aste
x1 is a star polygon/polytope, with regular protrusions x2, and regular intrusions x3
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.
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