Re: [ontac-dev] Type vs. Class et al.

["John F. Sowa" <sowa@xxxxxxxxxxx>]

No one is suggesting that:    (01)

 > ... rather than saying a dog is a subtype of animal.    (02)

The correct syntax is:    (03)

    "A dog is an instance of the type Dog."    (04)

    "The type Dog is a subtype of the type Animal."    (05)

More simply, you can just drop the word "type" in
most discussions:    (06)

    "A dog is an instance of Dog."    (07)

    "Dog is a subtype of Animal."    (08)

The advantage of using these last two sentence forms
is that they are independent of any choice of words
for Dog or Animal.    (09)

John Sowa    (010)


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