a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Dictionary record
Back to the main valsi listing.
valsi ckajida
type fu'ivla
creator krtisfranks
time entered Wed Dec 4 21:46:06 2019

Definition #71759 - Preferred [edit]
definition 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.
notes This is not a standard assertion/claim proposition, instead being an assignment statement/directive (has an implicit "ko"); as such, it does not really have a truth value (or its truth value is TRUE because of itself). A thing such as x1 need not exist, although non-existence is also not implied; this bridi abstains from resolving the question of x1's existence. "ca'e", "ckaji", "da", "poi", "zo'u".
gloss words
created by krtisfranks
vote information 1
time Wed Dec 4 21:46:06 2019


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?