RE: [ontac-dev] Type vs. Class -- Please vote

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

>MW: From where I sit a class/set/type/category
>(the longer the concatenation the quicker people will want to pick one
>and the less they will care which) has a number of instances and a number
>of axioms, and there is no need for two objects (e.g. class and type) any
>more than a person needs to be two objects because it has arms and legs.    (01)

A type has a number of instances which together form a class.
A football team has a number of members which together form a set.
The set can change, as members join and leave, but the football team 
remains identical.
Thus the set and the team are not identical.    (02)


>MW: I accept of course that there is the trivial restriction class of
>"instances of X" which can be derived from the instance_of relation, but
>that is entirely redundant as far as I can see.
>
>MW: Please explain my error.    (03)

See above. And generalize to, say, the species rabbit.
BS     (04)



_________________________________________________________________
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    (05)