Hi Pat  (01)
On Dec 17, 2007, at 22:53 , Pat Hayes wrote:  (02)
> Well, that's a pretty contrived axiom, seems to me. If you really 
> wanted to say this for some reason, then presumably we could make up 
> a name for it, say (notPartOfEmpireStatePossession x), which is kind 
> of weird but is still better than Skolem3457 when looking at long 
> opaque listings.  (03) 
I'm with you. That's why I said I liked the principle on its face (It 
*wasn't* a criticism - I really like it). I'm just trying to see what 
a general principle of application would look like.  (04)
Bill Andersen (andersen@xxxxxxxxxxxxxxxxx)
Ontology Works, Inc. (www.ontologyworks.com)
3600 O'Donnell Street, Suite 600
Baltimore, MD 21224
Office: 410-675-1201
Cell: 443-858-6444  (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx  (06)