Home
Bugs
Help
Find!
1 in definition
10 in notes
zo'u
ZOhU
cmavo
marks end of logical prenex quantifiers/topic identification and start of sentence bridi.
CLL 16.2
CLL 19.4
jbovlaste
In definition:
zoi'u
tags a topic or prenex; scopes over the entire bridi (unless there is already a {zo'u} clause).
In notes:
brili'e
x
1
is a prenex of bridi/predicate relationship x
2
with relation x
3
among arguments x
4
.
bu'ai
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
ce'ai
lambda variable prenex; marks the end of introduction of lambda-scope variables.
ge'ai
metasyntactic variable prenex
ja'u
na'e fancuka modal: no matter (indirect question)...
ke'au
relative clause prenex: assigns a variable to the object of the relative clause
kei'au
mekso operator: finite result set derived from/on set A with/due to operator/function B under ordering of application C
na'ei
Contradictory negation of a predicate
zo'au
start logical, topical, or termset postnex
ckajida
Define x
1
to be a named dummy symbol (having a name heretofore unassigned) such that, if it were to exist, it would satisfy condition/have property x
2
(condition/ka); let x
1
be such that it satisfies/is described by x
2
.