Thread Links			Date Links
Thread Prev	Thread Next	Thread Index	Date Prev	Date Next	Date Index

Re: Whole and Parts

To: "West, Matthew R SIPC-OFD/321" <matthew.west@SHELL.COM>
Subject: Re: Whole and Parts
From: "John F. Sowa" <sowa@BESTWEB.NET>
Date: Mon, 11 Jul 2005 08:36:28 -0400
Cc: Michel Eytan <eytan@UMB.U-STRASBG.FR>, Jay Halcomb <jhalcomb8@COMCAST.NET>, Avril Styrman <Avril.Styrman@helsinki.fi>, standard-upper-ontology@listserv.ieee.org, cg@CS.UAH.EDU, alexander.heussner@gmx.net, aapo.halko@helsinki.fi
In-Reply-To: <A94B3B171A49A4448F0CEEB458AA661F0110D193@lonsc-s-029.europe.shell.com>
References: <A94B3B171A49A4448F0CEEB458AA661F0110D193@lonsc-s-029.europe.shell.com>
Sender: owner-standard-upper-ontology@ieee.org
User-Agent: Mozilla Thunderbird 0.9 (Windows/20041103)

Dear Matthew,

I agree:

MW> ...  whole-part is NOT well modelled by class-member
 > because whole-part is transitive, whilst class-member is not.

I was referring to Avril's earlier note about using
set-theoretic constructions to create models of various
kinds of relationships, including layers and part-whole.
I believe that she intended to build up a model that
did something more complex than just a 1-to-1 association.

John

References:
- RE: Whole and Parts
  - From: "West, Matthew R SIPC-OFD/321" <matthew.west@shell.com>

Prev by Date: Re: CG: Re: Re: Whole and Parts (and boundaries)
Next by Date: Re: Isomorphism between Mereology and Boolean algebra without least element
Prev by thread: RE: Whole and Parts
Next by thread: Re: Isomorphism between Mereology and Boolean algebra without least el ement
Index(es):
- Date
- Thread