Received: from mail-we0-f185.google.com ([74.125.82.185]:48140) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1WxEKh-0007S6-Dm for lojban-list-archive@lojban.org; Wed, 18 Jun 2014 04:47:20 -0700 Received: by mail-we0-f185.google.com with SMTP id t60sf95634wes.22 for ; Wed, 18 Jun 2014 04:47:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=p3U63xmJiPHU9B8G/lgwbeTkeXz8mQjQ/ZJdfi7PBxI=; b=GlnyScWj3dgu8aZ3pU2rNAwfb8GjvEWYUAVJT++vRwGkFPAWGjol70vzbVLe4PW0S/ N7/Ya8KC1cJAZJvOvcgxTZ03FusCuHIW8s60MtW32bs9UgIsI4hS9fW9BS2EhMGug+DH PopUsmM8SH/8GQ5FG5fUfzEFBhUzovcsnsyPdTbWSGj6o2V9lvNWPJGe7VZ3JNhgbxD/ 4Zy+r7MoCmQvQpufXNTdkjX3MB00qjPdmHeIVpotX0ZhVJ3CWxNTQksb+FN/nui7RSkU 1sQWWUcegJk6ZaBC0JmP7TiKqc1x7l3/pazaizPGLeylDusMqlRXbBcnJzRs0GUA7IJw WaxA== X-Received: by 10.180.39.209 with SMTP id r17mr10638wik.15.1403092027866; Wed, 18 Jun 2014 04:47:07 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.180.231.10 with SMTP id tc10ls580485wic.4.canary; Wed, 18 Jun 2014 04:47:07 -0700 (PDT) X-Received: by 10.180.39.196 with SMTP id r4mr292760wik.4.1403092027295; Wed, 18 Jun 2014 04:47:07 -0700 (PDT) Received: from mail-wg0-x229.google.com (mail-wg0-x229.google.com [2a00:1450:400c:c00::229]) by gmr-mx.google.com with ESMTPS id s1si146909wiw.3.2014.06.18.04.47.07 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 18 Jun 2014 04:47:07 -0700 (PDT) Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c00::229 as permitted sender) client-ip=2a00:1450:400c:c00::229; Received: by mail-wg0-f41.google.com with SMTP id a1so717494wgh.24 for ; Wed, 18 Jun 2014 04:47:07 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.180.149.240 with SMTP id ud16mr4292673wib.3.1403092027186; Wed, 18 Jun 2014 04:47:07 -0700 (PDT) Received: by 10.194.25.163 with HTTP; Wed, 18 Jun 2014 04:47:06 -0700 (PDT) In-Reply-To: References: <53903D84.90502@gmx.de> Date: Wed, 18 Jun 2014 15:47:06 +0400 Message-ID: Subject: Re: [lojban] Specifying sumti types: another revision of gimste is complete From: Gleki Arxokuna To: lojban@googlegroups.com X-Original-Sender: gleki.is.my.name@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c00::229 as permitted sender) smtp.mail=gleki.is.my.name@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=001a11c260e2de26d104fc1ad1ae X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --001a11c260e2de26d104fc1ad1ae Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable porsi1 changed to "any type". 2014-06-18 1:48 GMT+04:00 Jorge Llamb=C3=ADas : > > Looking at "number" places: > > saclu x1 (number) is the decimal equivalent of fraction x2 (number) in > base x3 (number) > > This doesn't really make much sense. If "li pa pi mu du li ci fi'u re" is > true, and "li pa pi mu cu saclu" is true, then we should be able to > conclude that "li ci fi'u re cu daclu" is true as well, so this place > structure needs to be fixed. One possibility is "x1 (text) is the decimal > representation of x2 (number) in base x3 (number)". > fxd. > sumti x1 (text) is an argument of predicate x2 (text) filling place x3 > (number) > > What about places that are not named with numbers, such as fai-places? > Tagged places are also an issue, since tags not only add a place to a > predicate but by doing so they modify the predicate, so it's hard to find= a > simple way to name the resulting predicate. > okay, then sumti3 is to be expressed via FA/TAG. {mi catlu fa'a do} {zo do sumti zo catlu zo fa'a} > A few "(number)" seem to be missing: > > dugri1, dugri2, dugri3 > detri1 is like tcika1 (debatable whether they are numbers). > > stero2 > mitre2 > delno2 > kelvo2 > litce2 > molro2 > xampo2 > bunda2 > dekpu2 > gutci2 > kramu2 > minli2 > jeftu2 > snidu2 > masti2 > mentu2 > fxd. > > cisni2? How does "cisni" differ from "klani"? > no idea. The list has some brivla that might not be worth having in the list of the upper ontology. Anyway, {cisni} removed from this list. > mu'o mi'e xorxes > > -- > You received this message because you are subscribed to the Google Groups > "lojban" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to lojban+unsubscribe@googlegroups.com. > To post to this group, send email to lojban@googlegroups.com. > Visit this group at http://groups.google.com/group/lojban. > For more options, visit https://groups.google.com/d/optout. > --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. --001a11c260e2de26d104fc1ad1ae Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
pors= i1 changed to "any type".

2014-06-18 1:48 GMT+04:00 Jorge Llamb=C3=ADas= <jjllambias@gmail.com>:

Looking at "number&quo= t; places:

saclu x1 (number) is the decimal equivalent of fraction x2 (number) in base x3 (n= umber)

Th= is doesn't really make much sense. If "li pa pi mu du li ci fi'= ;u re" is true, and "li pa pi mu cu saclu" is true, then we = should be able to conclude that "li ci fi'u re cu daclu" is t= rue as well, so this place structure needs to be fixed. One possibility is = "x1 (text) is the decimal representation of x2 (number) in base x3 (nu= mber)".

fxd.=C2=A0


sumti x1 (text) is an argument of predicate x2 (text) filling place x3 (number)

What about places that are not named with numbers, such = as fai-places? Tagged places are also an issue, since tags not only add a p= lace to a predicate but by doing so they modify the predicate, so it's = hard to find a simple way to name the resulting predicate.

okay, then sumti3 is to be expressed= via FA/TAG.
{mi catlu fa'a do}=C2=A0
{zo do sumti = zo catlu zo fa'a}


A few "= ;(number)" seem to be missing:

dugri1, dugri2, dugri3
detri1 is like tcika1 (debatable whether they are numbers).

stero2
mitre2
delno2
kelvo2
litce2
molro2
xampo2
bunda2
dekpu2
gutci2
kramu2
minli2
jeftu2
snidu2
masti2
mentu2

fxd.
=C2=A0

cisni2? How does "cisni" differ from &= quot;klani"?

no idea. The = list has some brivla that might not be worth having in the list of the uppe= r ontology. Anyway, {cisni} removed from this list.


mu'o mi'e = xorxes

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http:= //groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
--001a11c260e2de26d104fc1ad1ae--