To: | "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | "Richard H. McCullough" <rhm@xxxxxxxxxxxxx> |
Date: | Thu, 30 Apr 2009 07:31:50 -0700 |
Message-id: | <D69912D9077948208BB9909E5B9E11F5@rhm8200> |
----- Original Message -----
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
>
> Therefore, I used that kind of T as the top of the type hierarchy > (or a lattice if the partial ordering of types is extended to > a lattice). However, in most notations for logic, there is no > way to distinguish a ordinary capital T from the special kind > of T at the top. Therefore, I suggested the label 'Entity' > as a synonym for that symbol. #### entity has connotations of
sensory object.
> > Some people use the word 'Thing' for the top of the type hierarchy, > but it has too many connotations of physical object. It seems > odd to say that an integer, a state of happiness, or an act > of walking is a thing. > > Some people use the word 'Concept' for the top of the hierarchy, > but that usage is much, much worse. One could say that an > object, an integer, a state, or an act is *represented by* > a concept, but it is totally senseless to say that they *are* > concepts. #### I use existent for the top of
the hierarchy.
#### It literally means anything that
exists.
> I discuss some of these and other issues in the papers included > in the Guided Tour of Ontology: > #### "guide.htm" is MIA.
> http://www.jfsowa.com/ontology/guide.htm > > John Sowa > Dick McCullough http://mkrmke.org _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01) |
Previous by Date: | Re: [ontolog-forum] mKR/mKE 8.2 simplified grammar, Richard H. McCullough |
---|---|
Next by Date: | Re: [ontolog-forum] Last Call: OWL 2 and rdf:text primitive datatype, John F. Sowa |
Previous by Thread: | Re: [ontolog-forum] Last Call: OWL 2 and rdf:text primitive datatype, John F. Sowa |
Next by Thread: | Re: [ontolog-forum] Last Call: OWL 2 and rdf:text primitive datatype, John F. Sowa |
Indexes: | [Date] [Thread] [Top] [All Lists] |