Received: from mail-wi0-f185.google.com ([209.85.212.185]:44283) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1WpAkN-0006UW-Jn for lojban-list-archive@lojban.org; Mon, 26 May 2014 23:20:38 -0700 Received: by mail-wi0-f185.google.com with SMTP id e4sf56925wiv.12 for ; Mon, 26 May 2014 23:20:19 -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=fnZsd0V1Vj2DWf4N4GYonE+Y0EC2QzFzXpf4eiYE4hM=; b=P7YTQKIcFYbC8RgRNi6e5wkSCkTXpyWbZ5VaGIyGgW5G2Xuigc/rYwL7Uv4E+t0LE/ htlk/pTM9/xKbhLp0OB00z13hrIEZT+puGz/Hy2Ky4XIbYuprdh7+r37ZNrpMWUw3/w/ q9A/SaezfxS1SoiNRNL3nM/jNv02+vp0LXpk3MQUbEh8moYp0JJu2b7wyIc9BMUgWgCR VtDwU1R3+wHqs6H8iFBq+R+b6w/8sUZ6JueLYvvnENGXRMvfg5Lv2L+W8WmZ5oTTuHi8 69zUSjHqM6yDtmueSMrQj8EPjLBNQfBDalMqrW0ri73V/Eh789JInMXYH9sKLKdDjnl8 4WoA== X-Received: by 10.152.30.105 with SMTP id r9mr274558lah.2.1401171619594; Mon, 26 May 2014 23:20:19 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.152.26.4 with SMTP id h4ls406507lag.58.gmail; Mon, 26 May 2014 23:20:18 -0700 (PDT) X-Received: by 10.152.42.141 with SMTP id o13mr127540lal.7.1401171618846; Mon, 26 May 2014 23:20:18 -0700 (PDT) Received: from mail-wi0-x22d.google.com (mail-wi0-x22d.google.com [2a00:1450:400c:c05::22d]) by gmr-mx.google.com with ESMTPS id el3si104628wib.0.2014.05.26.23.20.18 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 26 May 2014 23:20:18 -0700 (PDT) Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c05::22d as permitted sender) client-ip=2a00:1450:400c:c05::22d; Received: by mail-wi0-f173.google.com with SMTP id bs8so1007910wib.6 for ; Mon, 26 May 2014 23:20:18 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.194.248.130 with SMTP id ym2mr20195327wjc.88.1401171618660; Mon, 26 May 2014 23:20:18 -0700 (PDT) Received: by 10.194.25.163 with HTTP; Mon, 26 May 2014 23:20:18 -0700 (PDT) In-Reply-To: References: Date: Tue, 27 May 2014 10:20:18 +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:c05::22d 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=089e013d144299883304fa5bb064 X-Spam-Score: 0.1 (/) X-Spam_score: 0.1 X-Spam_score_int: 1 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: BTW, I added signatures to "Structure" columns. Are they okay to you? 2014-05-27 2:08 GMT+04:00 Jorge LlambĂ­as : > > On Mon, May 26, 2014 at 1:38 AM, Gleki Arxokuna < > gleki.is.my.name@gmail.com> wrote: > >> >> Yes, "type" is what restricts a place, not a subtype. Subtypes are rather >> hints for newbies of what should go into a place. >> > > There seems to be some confusion between types and roles. Agent and > patient (experiencer), tool, observer, are roles, not types. If the sumti > filling that place loses the property when removed from that place, then > that prooperty is a role, not a type. A type should be intrinsic to the > sumti. A number is always a number, a property is always a property, an > agent is only an agent when playing that role. > > I did that some time in the past but unfortunately I lost the files I >>> worked with. >>> >> >> I can see that you grouped them into semantic classes. >> > > They are meant to be argument structure classes, not semantic classes, > although semantic classes do tend to share structure. > > 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. > [...] Content analysis details: (0.1 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (gleki.is.my.name[at]gmail.com) 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is CUSTOM_MED -0.0 SPF_PASS SPF: sender matches SPF record 0.0 HTML_MESSAGE BODY: HTML included in message 0.1 DKIM_SIGNED Message has a DKIM or DK signature, not necessarily valid 0.0 T_DKIM_INVALID DKIM-Signature header exists but is not valid --089e013d144299883304fa5bb064 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable BTW, I added signatures to "Structure" columns. Are they okay to you? 2014-05-27 2:08 GMT+04:00 Jorge Llamb=C3=ADas : > > On Mon, May 26, 2014 at 1:38 AM, Gleki Arxokuna < > gleki.is.my.name@gmail.com> wrote: > >> >> Yes, "type" is what restricts a place, not a subtype. Subtypes are rathe= r >> hints for newbies of what should go into a place. >> > > There seems to be some confusion between types and roles. Agent and > patient (experiencer), tool, observer, are roles, not types. If the sumti > filling that place loses the property when removed from that place, then > that prooperty is a role, not a type. A type should be intrinsic to the > sumti. A number is always a number, a property is always a property, an > agent is only an agent when playing that role. > > I did that some time in the past but unfortunately I lost the files I >>> worked with. >>> >> >> I can see that you grouped them into semantic classes. >> > > They are meant to be argument structure classes, not semantic classes, > although semantic classes do tend to share structure. > > 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. --089e013d144299883304fa5bb064 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
BTW, I added signatures to "Structure" columns. = Are they okay to you?


2014-05-27 2:08 GMT+04:00 Jorge Llamb=C3=ADas <jjllambias= @gmail.com>:
=
On Mon, May 26, 2014 at 1:38= AM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wr= ote:
=

Yes, "type&q= uot; is what restricts a place, not a subtype. Subtypes are rather hints fo= r newbies of what should go into a place.

There seems to be = some confusion between types and roles. Agent and patient (experiencer), to= ol, observer, are roles, not types. If the sumti filling that place loses t= he property when removed from that place, then that prooperty is a role, no= t a type. A type should be intrinsic to the sumti. A number is always a num= ber, a property is always a property, an agent is only an agent when playin= g that role.

I did that some time in the past but unfortunately I lost the files I wor= ked with.=C2=A0

I can see that you= grouped them into semantic classes.
<= div>
They are meant to be argument structure classes, n= ot semantic classes, although semantic classes do tend to share structure.<= /div>

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.
--089e013d144299883304fa5bb064--