From - Tue Apr 20 08:40:34 2004 X-Mozilla-Status: 0001 X-Mozilla-Status2: 00000000 Path: acsu.buffalo.edu!not-for-mail From: "William J. Rapaport" Newsgroups: sunyab.cse.740 Subject: Re: MOD-HEAD CASE FRAME Date: Mon, 19 Apr 2004 11:22:49 -0400 Organization: SUNY Buffalo Computer Science & Engineering Lines: 39 Sender: rapaport@buffalo.edu Message-ID: <4083EEC9.3050002@cse.buffalo.edu> References: NNTP-Posting-Host: wasat.cse.buffalo.edu Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: prometheus.acsu.buffalo.edu 1082388169 5925 128.205.32.15 (19 Apr 2004 15:22:49 GMT) X-Complaints-To: abuse@buffalo.edu NNTP-Posting-Date: Mon, 19 Apr 2004 15:22:49 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.0.1) Gecko/20020920 Netscape/7.0 X-Accept-Language: en-us, en Xref: acsu.buffalo.edu sunyab.cse.740:116 William J. Rapaport wrote: > ------------------------------------------------------------------------ > Subject: MOD-HEAD CASE FRAME > ------------------------------------------------------------------------ > > Several of you have asked for the syntax and semantics of the mod-head > case frame. I asked Stu about this; here's his reply: ======================================================================== In SNeRG Technical Note 35, I have "CompCat(m, c) (build classmod m classhead c) the complex category m c." more formally, I'd say [[{, }]] = the complex category [[m]][[c]], which is the subcategory of [[c]] distinguished in some unspecified way by [[m]]. That still might not be very satisfying. BTW, I no longer use the phrase "structured individual". Such structures are more clearly identified as functional terms. In fact every molecular node is a functional term of the SNePS Logic. stu -- Stuart C. Shapiro, Professor Department of Computer Science and Engineering University at Buffalo, The State University of New York 201 Bell Hall Box 602000 PHONE: 716-645-3180x125 Buffalo, NY 14260-2000 FAX: 716-645-3464 U.S.A. EMAIL: shapiro@cse.buffalo.edu URL: http://www.cse.buffalo.edu/~shapiro/