RE: [ontac-dev] Representation of attributes

["Smith, Barry" <phismith@xxxxxxxxxxx>]

>
>MW: The problem saying that every type IS a set (Barry actually says
>every type HAS a set - at a point in time) is that as a type some may
>have changing membership, yet sets essentially have unchanging membership.
>    (01)

Every type has an extension, and for process types this extension is 
unique. For continuant types (e.g. the type rabbit) the issue is 
whether we define extension to mean: set of all rabbits NOW, or set 
of all rabbits WHICH ever existed. In the former case the extension 
of the type clearly has changing membership. In the latter case not.    (02)

BS     (03)



_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-dev/
To Post: mailto:ontac-dev@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: http://colab.cim3.net/mailman/listinfo/ontac-dev/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (04)