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

This is a "best guess" listing for the word "bu'ai" in language 日本語, 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

Definition #43011 [edit]
selma'o NU
definition 量化型 selbri 変数抽象 : 抽象詞; bridi の左に付いて、第3階以上の述語論理で使われる束縛 selbri 変数とする
notes 第1階の述語論理では zo'e が定項、 da が束縛変項であり、第2階の述語論理では co'e が selbri 定数、 bu'a が束縛 selbri 変数である。 第3階以上の述語論理を表現するためには、第2階の selbri 全体を対象領域とする selbri が必要である。 NU類に属する su'ubu'ai はそれぞれ、第2階の selbri 全体を対象領域とする selbri 定数・束縛 selbri 変数を構成することができる。 bu'ai が取る selbri 変数が2個以上になる場合は ju'e などで繋げる。 bu'ai を入れ子状に使えば、さらに高階の述語論理も構成できる。 例: su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a (この xe'u はNU類を冠頭に置くためのダミー的な selbrisle) ・関連語: su'u, bu'a; xe'u.
gloss words
created by gusnikantu
vote information 2
time Thu Oct 9 15:34:17 2014


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?