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 predi
type experimental gismu
creator mulzuhes
time entered Fri May 13 11:13:49 2016

Examples
   
English
Definition #68652 - Preferred [edit]
   
definition x1 is a predicate; x2 are the domains of each argument; x3 is the truth-table
notes x1 is [str]. x2 is [list - set]. x3 is [map - proposition : bool].
jargon type Predicate
gloss words
place keywords 1. Predicate ; Logic
2. Universe of discourse ; Logic
3. Truth table ; Logic
created by mulzuhes
vote information 1
time Sun Jun 12 05:04:56 2016

Examples

Example #1:

zo fasnu cu predi lo nu ku

(by mulzuhes) [edit]

Example #2:

(by mulzuhes) [edit]
Etymology

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 Sun Nov 15 18:45:23 PST 2015.
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?