|Date:||Sun, 19 May 2013 11:01:36 -0700|
(1) team is-part-of club - ok
(2) club is-part-of federation - should be QUALIFIED club is-part-of federation
(3) not every such clubs' team is-part-of federation - true, because not every club is qualified.
So I'm still looking for a plain example of a "non-transitive part relation" about which apparently everyone here has an intuitive understanding but, to me, seems kinda squirrelly.
thanks - jmc
On 19.05.2013 03:41, Hassan Aït-Kaci wrote:
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] What is the role of an upper level ontology?, John F Sowa|
|Next by Date:||Re: [ontolog-forum] What is the role of an upper level ontology?, jmcclure|
|Previous by Thread:||Re: [ontolog-forum] What is the role of an upper level ontology?, Hassan Aït-Kaci|
|Next by Thread:||Re: [ontolog-forum] What is the role of an upper level ontology?, jmcclure|
|Indexes:||[Date] [Thread] [Top] [All Lists]|