ka'ei

valsi

ka'ei

type

experimental cmavo

creator

spheniscine

time entered

Wed Jul 15 02:14:45 2015  

English

Definition #67094 - Preferred

 

selma'o

NU

definition

abstractor: predicate abstractor. x₁ is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables.

notes

Identical in meaning to an n-ary ka, but with lambda-variables bound to bo'a/bo'e/bo'i/bo'o/bo'u (bo'ai for additional variables) instead of ce'u (which may still be used for "next place"). This is mainly for convenience, to avoid having to assign pro-sumti to ce'u variables either with goi or ce'ai. See me'ei, me'au, cei'e, ckaji, ckini

gloss words

• predicate relationship abstractor

created by

spheniscine

vote information

3

time

Thu Jul 16 16:58:28 2015

[View Comments For This Definition]