From lojban+bncCLr6ktCfBBCKlKPmBBoEV82z9w@googlegroups.com Wed Oct 27 17:55:54 2010 Received: from mail-gy0-f189.google.com ([209.85.160.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PBGmU-0000vV-4r; Wed, 27 Oct 2010 17:55:54 -0700 Received: by gyd5 with SMTP id 5sf2051517gyd.16 for ; Wed, 27 Oct 2010 17:55:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:received:received:date:from:to :subject:message-id:mail-followup-to:mime-version: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:content-disposition; bh=U1BCBJYdkkFRSTVcfKMJtQF0/6oy84s52gXjfIoKChs=; b=Veg79kZeyAW1kvvyM1JebJqedFHNTotGf/i1eFqSamcJ6yuR7zjulqVjrZzx/7zvJL hyPMjQy8sP56pshRkusIAWs+UvKcP/Fm4xewTX4/fA+uM3sYOTMGarb02lq3f1ZHa/Qg IiiKCYgJ3O7rJmHnMJB0VJy6Yrr8L04xL//v0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:mime-version: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:content-disposition; b=hSifCOgf2N21RTSXBHeWdXQBtW4mmCBghuAu8r6SP9cZBElFdatCIMCSQ+QTl+GdFq O6+z4H3ArTPrY+2DV3uWUg/3O8qsfp8DfrPDmuYd5WAMpzTETsnMcBsQMkyO90MViUt9 5ozxZtfrWLuPj4Dv44YU5iW/YlnHewm5sTrZY= Received: by 10.91.63.11 with SMTP id q11mr144170agk.45.1288227338685; Wed, 27 Oct 2010 17:55:38 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.91.170.4 with SMTP id x4ls234594ago.0.p; Wed, 27 Oct 2010 17:55:38 -0700 (PDT) Received: by 10.90.114.10 with SMTP id m10mr1105604agc.5.1288227338063; Wed, 27 Oct 2010 17:55:38 -0700 (PDT) Received: by 10.90.114.10 with SMTP id m10mr1105601agc.5.1288227338038; Wed, 27 Oct 2010 17:55:38 -0700 (PDT) Received: from mail-gw0-f53.google.com (mail-gw0-f53.google.com [74.125.83.53]) by gmr-mx.google.com with ESMTP id u69si117245yhc.12.2010.10.27.17.55.37; Wed, 27 Oct 2010 17:55:37 -0700 (PDT) Received-SPF: neutral (google.com: 74.125.83.53 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=74.125.83.53; Received: by mail-gw0-f53.google.com with SMTP id 1so1350796gwb.40 for ; Wed, 27 Oct 2010 17:55:37 -0700 (PDT) Received: by 10.150.53.12 with SMTP id b12mr9414082yba.373.1288227337827; Wed, 27 Oct 2010 17:55:37 -0700 (PDT) Received: from sunflowerriver.org (c-68-35-167-179.hsd1.nm.comcast.net [68.35.167.179]) by mx.google.com with ESMTPS id l66sm280584yhd.20.2010.10.27.17.55.36 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 27 Oct 2010 17:55:37 -0700 (PDT) Date: Wed, 27 Oct 2010 18:55:33 -0600 From: ".alyn.post." To: Lojban List Subject: [lojban] type/token distinction Message-ID: <20101028005533.GC44377@alice.local> Mail-Followup-To: Lojban List Mime-Version: 1.0 X-Original-Sender: alyn.post@lodockikumazvati.org X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 74.125.83.53 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) smtp.mail=alanpost@sunflowerriver.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline Are there words in Lojban specifically covering type/token: http://en.wikipedia.org/wiki/Type-token_distinction If not, what are the closest words for this kind of instance/class, member/set distinction? cmima/porsi? -Alan -- .i ko djuno fi le do sevzi -- 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=en.