- 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
This is a "best guess" listing for the word "bu'ai"
in
language English,
meaning that only one of
the definitions for this word will be shown
(the one with the
highest total votes).
See all the definitions for
bu'ai.
|
Back to the main
valsi listing.
|
| valsi |
bu'ai |
| type |
experimental cmavo |
| creator |
gusnikantu |
| time entered |
Thu Dec 12 19:50:22 2013 |
Examples
| |
|
English
|
|
Definition #43010
[edit]
| |
|
| selma'o |
NU |
| definition |
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. |
| notes |
zo'e and da are a constant and a bound variable of predicate logic of first order respectively; co'e and bu'a are a selbri constant and a bound selbri variable of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. su'u and bu'ai in selma'o NU can compose respectively a selbri constant and a bound selbri variable in the domain of all selbri of second order. In the case that bu'ai takes plural number of selbri variables, connect them with ju'e or something. Higher order is also possible by nesting bu'ai. Example: su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a (This xe'u is an abstraction-variable-indicator-selbrisle used in order to put a word of selma'o NU in prenex.) See also su'u, bu'a; xe'u. |
| gloss words |
|
| created by |
gusnikantu |
| vote information |
3
|
| time |
Thu Oct 9 15:33:07 2014 |
|
|
|
Examples
|
|
|
|
|