jbovlaste a lojban dictionary editing system
User: Pass: - Home - Get A Printable Dictionary - Search Best Words - Recent Changes - How You Can Help - valsi - All - valsi - Preferred Only - natlang - All - natlang - Preferred Only - Languages - XML Export - user Listing - Report Bugs - Utilities - Status - Help - Admin Request - Create Account	Dictionary record Back to the main valsi listing. valsi jorlge type fu'ivla creator krtisfranks time entered Thu Dec 10 19:02:07 2015 Examples     English Definition #68147 - Preferred [edit]     definition x1 is the result of applying logical connective/conjunction x2 to the terms of the ordered list x3 in the order given, in system x4 notes x1 is not the truth value of the result, but the result itself. x2 is filled by a function or a la'e-prefixed quote of a connective (CON; JA*, JOI*). In Lojban, the terms of the ordered list in x3 need not syntactically match the connective used; for example, bridi tails can be used even when ja (as opposed to gi'e/gije) fills x2. The connective filling x2, if n-ary, will operate on the first n terms of the ordered list filling x3, then it will successively operate on the result and the next n-1 terms (after the previously used ones) of the ordered list in x3 where the the result and terms fill its argument slots in the order presented. Thus, the ordered list which fills x3 must be of an appropriate length; the recommendation is that exactly n terms are included; only explicitly mentioned terms are included. The terms of the ordered list in x3 and their results must be comparable; they can be sumti, bridi (la'e-prefixed quoted predicates; not its truth value), Booleans, sets, etc. This word can be used to express the notion of "logical conjunction", "logical disjunction", "set-theoretic union", "set-theoretic complement", etc. (the result, not the process, in each case); the terms of the list in x3 would be the conjunct(and)s (or their logical parents), etc. See: fancufacki, terjoma. gloss words logical conjunction ; result logical connective result logical disjunction ; result set complement ; result place keywords 1. conjunction created by krtisfranks vote information 1 time Thu Dec 10 19:02:08 2015 Examples Etymology krtisfranks {terjoma}+{jorne}+{jalge} [edit]
Currently, jbovlaste will accept data for 69 languages. You are not logged in.

---

	recent changes	jbovlaste main
This is jbovlaste, the lojban dictionary system. The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT. All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law. jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell. E-mail him if you have any questions.		care to log in?