Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:47805 helo=digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.76) (envelope-from ) id 1TfBx8-0003QU-3L; Sun, 02 Dec 2012 07:59:40 -0800 Received: by digitalkingdom.org (sSMTP sendmail emulation); Sun, 2 Dec 2012 07:59:33 -0800 From: "Apache" Date: Sun, 02 Dec 2012 07:59:33 -0800 To: webmaster@lojban.org, jbovlaste-admin@lojban.org, nictytan@gmail.com Subject: [jvsw] Definition Added At Word ka -- By djeikyb Bcc: jbovlaste-admin@lojban.org Message-ID: <50bb7ae5./A4siYdjevhtI7bj%webmaster@lojban.org> User-Agent: Heirloom mailx 12.5 7/5/10 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Spam-Score: 2.0 (++) X-Spam_score: 2.0 X-Spam_score_int: 20 X-Spam_bar: ++ X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: In jbovlaste, the user djeikyb has added a definition of "ka" in the language "English". New Data: Definition: $x_1$ is the property/selbri/[infinitive] of [bridi]. [...] Content analysis details: (2.0 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.6 RCVD_IN_BRBL_LASTEXT RBL: RCVD_IN_BRBL_LASTEXT [173.13.139.235 listed in bb.barracudacentral.org] 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user djeikyb has added a definition of "ka" in the language "English". New Data: Definition: $x_1$ is the property/selbri/[infinitive] of [bridi]. Notes: A ka's parent context causes the ce'u-places to effectively become filled. A ka abstraction must contain at least one ce'u place, although this place might appear within a linkarg or even a child abstraction. A ka abstraction is what should rightfully go in {bridi}2, and {du'u} is what should go in bridi1. A sumti-list, delimited by {ce'oi}, is what should go in bridi3. Strictly speaking, a ka-abstraction has its ce'u-places filled, and effectively becomes a du'u-abstraction thereafter. bridi's meaning evidences this transformation called "application". Jargon: Gloss Keywords: Word: property abstraction, In Sense: Word: lambda function, In Sense: Word: lambda, In Sense: Place Keywords: You can go to to see it.