Received: from mail-wi0-f189.google.com ([209.85.212.189]:45872)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCIXohuTaHxCIoOf-BBoEnkKaxg@googlegroups.com>)
	id 1Sf8ZU-0006kJ-Gm; Thu, 14 Jun 2012 04:50:42 -0700
Received: by wibhr4 with SMTP id hr4sf1187158wib.16
        for <multiple recipients>; Thu, 14 Jun 2012 04:50:33 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf: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:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type
         :content-transfer-encoding;
        bh=YKLAmre8/f5vG7Dwzf0nv7Or9bsMMSKsF7xpYLizuuY=;
        b=ETZDg6yvfW2BiKsp/Xa7QQj/o3CRmb2AFezVSnFSWXKTvIKnicadigQ+KFzYdKwZyZ
         TDcuxZRQGNV0lxU/lwE4XNcNneVC4v8ECpU17F34Vhbij7hnaCIRWPjlBPpaItLiTBex
         hK8VyMhcAyI4EcpbHIqCb2/mdR8nPnpzjiatY=
Received: by 10.204.154.141 with SMTP id o13mr36851bkw.25.1339674632702;
        Thu, 14 Jun 2012 04:50:32 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.205.129.148 with SMTP id hi20ls246153bkc.0.gmail; Thu, 14 Jun
 2012 04:50:31 -0700 (PDT)
Received: by 10.204.149.210 with SMTP id u18mr236447bkv.1.1339674630983;
        Thu, 14 Jun 2012 04:50:30 -0700 (PDT)
Received: by 10.204.149.210 with SMTP id u18mr236446bkv.1.1339674630961;
        Thu, 14 Jun 2012 04:50:30 -0700 (PDT)
Received: from mail-bk0-f46.google.com (mail-bk0-f46.google.com [209.85.214.46])
        by gmr-mx.google.com with ESMTPS id iv15si4429826bkc.0.2012.06.14.04.50.30
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 14 Jun 2012 04:50:30 -0700 (PDT)
Received-SPF: pass (google.com: domain of matt.mattarn@gmail.com designates 209.85.214.46 as permitted sender) client-ip=209.85.214.46;
Received: by bkcji2 with SMTP id ji2so1372253bkc.19
        for <lojban@googlegroups.com>; Thu, 14 Jun 2012 04:50:30 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.204.128.201 with SMTP id l9mr847100bks.68.1339674630776; Thu,
 14 Jun 2012 04:50:30 -0700 (PDT)
Received: by 10.204.189.13 with HTTP; Thu, 14 Jun 2012 04:50:30 -0700 (PDT)
In-Reply-To: <CAOQ8VDVbfB6pmg1oEYn3sg0UXs69Co5gEzxUL-gaUwNdUDvhLw@mail.gmail.com>
References: <20120603195142.GF8656@stodi.digitalkingdom.org>
	<CAMKwHj0-rz8tT+srrPrm7pdT90GXjRf-Vyf3S3iY9jy9fKuL7Q@mail.gmail.com>
	<CAP=UV6ppDYzA-MeSrXpdedPSgUBmS0FAWtnzzJehgGDPOVYpyA@mail.gmail.com>
	<CAMKwHj3OX_11M7Sm-ffogeUVynT-WW-mF+vPMA3oGfRCOmbfbg@mail.gmail.com>
	<20120604034427.GP8656@stodi.digitalkingdom.org>
	<CAMKwHj2eqcH_B5HwvmZ39yOrmBWjktSi4GpbV0x27nex9rc+Qg@mail.gmail.com>
	<CAKOEKkST6RHLnoFWJtE-1Xws_u2aCAS1PzE6P5JuNNo_wrNXPQ@mail.gmail.com>
	<4FD87812.1080006@lojban.org>
	<4a4842d3-9a04-452b-b49c-4462823bae96@googlegroups.com>
	<CAOQ8VDVbfB6pmg1oEYn3sg0UXs69Co5gEzxUL-gaUwNdUDvhLw@mail.gmail.com>
Date: Thu, 14 Jun 2012 07:50:30 -0400
Message-ID: <CALBXrCv0LZR1-eVEzVxpNr_XpKHw0pX6MKZ407+HvASg-mvBmA@mail.gmail.com>
Subject: Re: [lojban] What is the x3 of tubnu?
From: Matt Arnold <matt.mattarn@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: matt.mattarn@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of matt.mattarn@gmail.com designates 209.85.214.46 as permitted
 sender) smtp.mail=matt.mattarn@gmail.com; dkim=pass header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

+1 to Jacob's version, "contents/containing". "Inner material x3"
could be construed to mean the material of the tube's interior
surface. "Hollow of x3" implies the material that was carved out in
order to form the tube.

-Eppcott

On Thu, Jun 14, 2012 at 6:31 AM, Jacob Errington <nictytan@gmail.com> wrote=
:
> I think that Bob's definition makes {tubnu} much more useful.
> As for a rewording, why not something like:
> x1 is a length of tubing/pipe/hollow cylinder [shape/form] of=A0outer=A0m=
aterial
> x2, with contents/containing x3.
>
> mu'o mi'e la tsani
>
>
> On 13 June 2012 16:41, djandus <jandew@gmail.com> wrote:
>>
>> On Wednesday, June 13, 2012 6:22:58 AM UTC-5, lojbab wrote:
>>>
>>> I was trying to word it to obtain a more generalized concept - one that
>>> would allow us to consider an insulated wire to be a tube or insulation
>>> with a copper (or other conductor) as the filling (or alternatively, th=
e
>>> electric current might be considered the "filling", though this is
>>> stretching the concept).
>>
>>
>> I kind of like this idea -- and I can see how it applies to the current
>> definition, unedited. (That is, "hollow" can be a noun referring to the
>> hollow space itself.) The definition should definitely be reworded, thou=
gh.
>> How about:
>>
>> x1 is a length of tubing/pipe/hollow cylinder [shape/form]
>> of=A0outer=A0material x2, of inner material x3.
>>
>> --
>> You received this message because you are subscribed to the Google Group=
s
>> "lojban" group.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msg/lojban/-/-OCypQmGyX4J.
>>
>> To post to this group, send email to lojban@googlegroups.com.
>> To unsubscribe from this group, send email to
>> lojban+unsubscribe@googlegroups.com.
>> For more options, visit this group at
>> http://groups.google.com/group/lojban?hl=3Den.
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "lojban" group.
> To post to this group, send email to lojban@googlegroups.com.
> To unsubscribe from this group, send email to
> lojban+unsubscribe@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/lojban?hl=3Den.

--=20
You received this message because you are subscribed to the Google Groups "=
lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.
For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.