Definitional vlaste

This is a vlaste: a dictionary of Lojban valsi. Unlike typical dictionaries, which define words by evoking the associative notions of other words, this vlaste only contains formal logical definitions which extend the underlying basis.

Definitions are given in dependency order: a definition will only use valsi which have already been introduced. For technical reasons, some transitive dependencies are omitted from this table; a complete diagram of the dependencies between definitions is included in an appendix.

Note the following brismu conventions:

  • All definitions are schematic: free metavariables are universally quantified and may be substituted with any grammatical fragments whatsoever. Bound metavariables are bound existentially, universally, etc. as indicated.
  • The default article for {ka} and {du'u} is {pa}, not {lo}, reflecting syntactic capture rather than semantic capture.
  • {broda} and friends refer to filled-in bridi; {bu'a} and friends refer to selbri, potentially including brirebla.
  • {ku'i'a} and friends are metavariables for the PA class of cmavo.
valsifull statementlo jbovla (definiendum)lo se jbovla (definiens)
na.adf-na.ax₁ na.a x₂ bu'aganai x₁ bu'a gi x₂ bu'a
anaidf-anaix₂ .anai x₁ bu'aganai x₁ bu'a gi x₂ bu'a
najadf-najax₁ bu'a naja bu'e x₂ x₃ganai x₁ bu'a x₂ x₃ gi x₁ bu'e x₂ x₃
janaidf-janaix₁ bu'e janai bu'a x₂ganai x₁ bu'a x₂ gi x₁ bu'e x₂
nagi'adf-nagihax₁ bu'a nagi'a bu'eganai x₁ bu'a gi x₁ bu'e
gi'anaidf-gihanaix₁ bu'e gi'anai bu'aganai x₁ bu'a gi x₁ bu'e
edf-ex₁ .e x₂ bu'age x₁ bu'a gi x₂ bu'a
jedf-jex₁ bu'a je bu'e x₂ge x₁ bu'a x₂ gi x₁ bu'e x₂
gi'edf-gihex₁ bu'a gi'e bu'ege x₁ bu'a gi x₁ bu'e
gadf-gaganai ga brode gi brodi gi brodage ganai brode gi broda gi ganai brodi gi broda
adf-ax₁ .a x₂ bu'aga x₁ bu'a gi x₂ bu'a
jadf-jax₁ bu'a ja bu'e x₂ga x₁ bu'a x₂ gi x₁ bu'e x₂
gi'adf-gihax₁ bu'a gi'a bu'ega x₁ bu'a gi x₁ bu'e
odf-ox₁ .o x₂ bu'ago x₁ bu'a gi x₂ bu'a
jodf-jox₁ bu'a jo bu'e x₂go x₁ bu'a x₂ gi x₁ bu'e x₂
gi'odf-gihox₁ bu'a gi'o bu'ego x₁ bu'a gi x₁ bu'e
sedf-sex₂ se bu'a x₁x₁ bu'a x₂
dudf-dux₁ du x₂ro bu'a zo'u x₁ .o x₂ bu'a
cei'idf-ceihicei'ix₁ du x₁
nakudf-nakunaku zo'u brodaganai broda gi gai'o
gonaidf-gonaigonai broda gi brodege ga broda gi brode gi naku zo'u ge broda gi brode
onaidf-onaix₁ .onai x₂ bu'agonai x₁ bu'a gi x₂ bu'a
jonaidf-jonaix₁ bu'a jonai bu'e x₂gonai x₁ bu'a x₂ gi x₁ bu'e x₂
gi'onaidf-gihonaix₁ bu'a gi'onai bu'egonai x₁ bu'a gi x₁ bu'e
ginaidf-ginaigo broda ginai brodegonai broda gi brode
selcmidf-selcmix₁ selcmi x₂x₁ se cmima x₂
pameidf-pameix₁ pamei x₂ .e x₃x₂ du x₃
gripaudf-gripaux₁ gripau x₂x₃ cmima x₁ na.a x₂
ckajidf-ckajix₁ ckaji pa ka ce'u bu'a keix₁ bu'a
ckinidf-ckinix₁ ckini x₂ pa ka ce'u bu'a ce'u keix₁ bu'a x₂
sefsidf-sefsix₁ sefsi x₂x₁ ckini x₁ x₂
simsadf-simsax₁ simsa x₂ x₃x₁ .e x₂ ckaji x₃
dunlidf-dunlix₁ dunli x₂ x₃x₁ .o x₂ ckini x₄ x₃
mintudf-mintux₁ mintu x₂ x₃x₁ .o x₂ ckaji x₃
stecidf-stecix₁ steci x₂ x₃ge x₂ ckaji x₁ gi x₂ cmima x₃
muplidf-muplix₁ mupli x₂ x₃ge x₁ ckaji x₂ gi x₁ cmima x₃
simxudf-simxux₁ simxu x₂ro da zo'u ro de zo'u ganai da .e de cmima x₁ gi da ckini de x₂
tedf-tex₃ te bu'a x₂ x₁x₁ bu'a x₂ x₃
cedf-cex₁ cmima x₂ ce x₃ga x₁ du x₂ gi x₁ du x₃
na'a'udf-nahahuna'a'u da zo'u brodaro da zo'u ganai broda gi ro da zo'u broda
zilcmidf-zilcmix₁ zilcmiga x₁ du le nomei ku gi su'o da zo'u da cmima x₁
poidf-poipa da poi ke'a bu'a ku'o zo'u brodapa da zo'u ganai da bu'a gi broda
rodf-roro bu'a cu bu'ero da poi ke'a bu'a ku'o zo'u da bu'e
po'udf-pohuro da po'u x₁ zo'u brodaro da poi ke'a du x₁ ku'o zo'u broda
kampudf-kampux₁ kampu x₂ro da poi ke'a cmima x₂ ku'o zo'u da ckaji x₁
jo'edf-johex₁ cmima x₂ jo'e x₃x₁ cmima x₂ .a x₃
ku'adf-kuhax₁ cmima x₂ ku'a x₃x₁ cmima x₂ .e x₃
selbridf-selbrix₁ selbri x₂ x₃x₁ se bridi x₂ x₃
fatcidf-fatcipa du'u broda kei fatcibroda
niblidf-niblipa du'u broda kei nibli pa du'u brode keiganai broda gi brode
fa'udf-fahux₁ fa'u x₂ bu'a x₃ fa'u x₄ge x₁ bu'a x₃ gi x₂ bu'a x₄
taknidf-taknix₁ takni x₂ro da poi ke'a cmima x₂ ku'o zo'u ro de poi ke'a cmima x₂ ku'o zo'u ro di poi ke'a cmima x₂ ku'o zo'u ganai ge da ckini de x₁ gi de ckini di x₁ gi da ckini di x₁
kinfidf-kinfix₁ kinfi x₂ro da poi ke'a cmima x₂ ku'o zo'u ro de poi ke'a cmima x₂ ku'o zo'u ganai da ckini de x₁ gi de ckini da x₁
kinradf-kinrax₁ kinra x₂ro da poi ke'a cmima x₂ ku'o zo'u da ckini da x₁
efklipidf-efklipix₁ efklipi x₂ro da poi ke'a cmima x₂ ku'o zo'u ro de poi ke'a cmima x₂ ku'o zo'u ro di poi ke'a cmima x₂ ku'o zo'u ganai da ckini de .e di x₁ gi de ckini di x₁
efklizudf-efklizux₁ efklizu x₂ro da poi ke'a cmima x₂ ku'o zo'u ro de poi ke'a cmima x₂ ku'o zo'u ro di poi ke'a cmima x₂ ku'o zo'u ganai de .e di ckini da x₁ gi de ckini di x₁
klojeredf-klojerepa ka ce'u bu'a ce'u ce'u kei klojere x₁ro da poi ke'a cmima x₁ ku'o zo'u ro de poi ke'a cmima x₁ ku'o zo'u pa di poi ke'a cmima x₁ ku'o zo'u da bu'a de di
klojedf-klojepa ka ce'u bu'a ce'u ce'u kei kloje x₁ge pa ka ce'u bu'a ce'u ce'u kei klojere x₁ gi ro da poi ke'a cmima x₁ ku'o zo'u ro de poi ke'a cmima x₁ ku'o zo'u ro di poi ke'a cmima x₁ ku'o zo'u go ge da bu'a de x₂ gi x₂ bu'a di x₃ gi ge de bu'a di x₂ gi di bu'a x₂ x₃
seznidf-seznipa ka ce'u bu'a ce'u ce'u kei sezni x₁ge x₁ kloje pa ka ce'u bu'a ce'u ce'u kei gi ro da poi ke'a cmima x₁ ku'o zo'u pa de poi ke'a cmima x₁ ku'o zo'u ge da bu'a de da gi de bu'a da da
kacli'edf-kacliheli ku'i'a kacli'e x₁li bai'ei ku'i'a du x₁
sumjidf-sumjili ku'i'a sumji li ku'i'e x₁li su'i ku'i'a ku'i'e du x₁
piljidf-piljili ku'i'a pilji li ku'i'e x₁li pi'i ku'i'a ku'i'e du x₁
kacme'adf-kacmehax₁ kacme'a x₂su'o da poi ke'a kacli'e x₁ zo'u ga da kacme'a x₂ gi da du x₂
dugridf-dugrix₁ dugri x₂ x₃x₁ te se tenfa x₂ x₃
kazmidf-kazmix₁ kazmi x₂x₁ du li ka'au x₂
jompaudf-jompaux₁ jompau x₂su'o da zo'u da pagbu x₁ .e x₂
kuzypaudf-kuzypaux₁ kuzypau x₂su'o da zo'u x₁ .e x₂ pagbu da
ki'irni'idf-kihirnihix₁ ki'irni'i x₂ro da zo'u ro de zo'u da ckini de x₁ na.a x₂
fancudf-fancux₁ fancu x₂ x₃ x₄ro da poi ke'a cmima x₂ ku'o zo'u pa de zo'u ge de cmima x₃ gi da ckini de x₄
maptidf-maptix₁ mapti x₂ x₃ge x₁ ckini x₂ x₃ gi ge ro da zo'u ganai da ckini x₂ x₃ gi da du x₁ gi ro da zo'u ganai x₁ ckini da x₃ gi da du x₂
lazmi'udf-lazmihux₁ lazmi'u x₂su'o da poi ke'a lanzu ku'o zo'u x₁ mintu x₂ pa ka ce'u cmima da kei