But there is an intersection of (wheel and "car part" "control device") that
defines a set - all set operations are sensible for type extents. That
intersection set may also be the predicate that defines "steering wheel".
I can also have an extensionally defined set {Monday, Tuesday, Wednesday,
Thursday, Friday, Saturday, Sunday} and I can also use that set to define
"day of week".
The only discriminator seem to be "intent"??? (01)
> -----Original Message-----
> From: ontac-dev-bounces@xxxxxxxxxxxxxx [mailto:ontac-dev-
> bounces@xxxxxxxxxxxxxx] On Behalf Of Smith, Barry
> Sent: Saturday, February 04, 2006 8:41 AM
> To: ONTAC Taxonomy-Ontology Development Discussion
> Subject: RE: Categorization (was RE: [ontac-dev] Representation of
> attributes)
>
>
> >MW: Noone has yet been able to explain the difference (or even offer an
> >explanation) though more than one has asserted a difference. I am simply
> >seeking enlightenment.
>
> Sets are mathematical objects; the set-membership relation is an
> abstract relation, which obtains independently of time and change.
> Sets can be defined arbitrarily, as in the {the moon, Matthew West,
> redness, 27} case. Sets are subject to arbitrary iterations,
> combinations and intersections, ad nauseam, as in the
>
> {{{{{{{{{{{{{{{{{{{{Matthew West}}}}}}}}}}}}}}}}}}}
>
> case. Which sets exist is a matter of mathematics and of arbitrary
> definition.
>
> Types are entities (something like invariant patterns, commonalities,
> kinds) in reality. Which types exist changes from epoch to epoch
> (Darwin tells us) and even from year to year (as new varities of
> potato chip are invented). Which types exist is a matter of
> observation and scientific exeriment. Types are not subject to
> arbitrary iterations, combinations and intersections. There is no
> type 'rabbit or steering wheel'.
>
> BS
>
>
>
>
> _________________________________________________________________
> 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 (02)
_________________________________________________________________
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 (03)
|