From xod@sixgirls.org Tue Mar 19 10:54:26 2002
Return-Path: <xod@reva.sixgirls.org>
X-Sender: xod@reva.sixgirls.org
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: unknown); 19 Mar 2002 18:54:26 -0000
Received: (qmail 55708 invoked from network); 19 Mar 2002 18:54:26 -0000
Received: from unknown (66.218.66.217)
  by m5.grp.scd.yahoo.com with QMQP; 19 Mar 2002 18:54:26 -0000
Received: from unknown (HELO reva.sixgirls.org) (216.27.131.50)
  by mta2.grp.scd.yahoo.com with SMTP; 19 Mar 2002 18:54:25 -0000
Received: from localhost (localhost [[UNIX: localhost]])
  by reva.sixgirls.org (8.11.6+3.4W/8.11.6) with ESMTP id g2JIsM016779
  for <lojban@yahoogroups.com>; Tue, 19 Mar 2002 13:54:22 -0500 (EST)
Date: Tue, 19 Mar 2002 13:54:21 -0500 (EST)
To: lojban@yahoogroups.com
Subject: Re: [lojban] Logic course
In-Reply-To: <F250pldvIruDS3Tqr3X000130e5@hotmail.com>
Message-ID: <Pine.NEB.4.44.0203191353330.14779-100000@reva.sixgirls.org>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
From: Invent Yourself <xod@sixgirls.org>
X-Yahoo-Group-Post: member; u=1138703
X-Yahoo-Profile: throwing_back_the_apple

On Tue, 19 Mar 2002, Jorge Llambias wrote:

>
> la pycyn cusku di'e
>
> >This still does not work: {du} is a two-place argument, so the three
> >place version does not work;
>
> I thought {du} was an infinite-place relationship. At least I'm
> sure it says so somewhere.



du (GOhA)
same identity as

identity selbri; = sign; x1 identically equals x2, x3, etc.; attached
sumti refer to same thing




dunli
[dun, du'i]

equal

x1 is equal/congruent to/as much as x2 in property/dimension/quantity x3




-- 
Somewhere in America there is an idiot whining about the fact that he has to
learn to cursor around the menu system on his VCR, while an 8 year old is
installing FreeBSD in his free time.


