[Top] [All Lists]

Re: [ontolog-forum] brainwaves (WAS: to concept or not to concept, is th

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Mon, 17 Dec 2007 23:07:19 -0500
Message-id: <47674777.9030508@xxxxxxxxxxx>
Bill,    (01)

You could define a systematic naming convention for such cases:    (02)

> How about this one, then?
>       (forall ((x human)) (exists ((y human_arm)) (part x y)))
> which also violates, for anatomically normal humans, uniqueness.  I  
> believe that the U-Wash Foundational Model of Anatomy (FMA), which is  
> meant to be a normative model of human anatomy, contains many such  
> axioms.    (03)

If it's not unique, then name the function aHumanArmOf(x).    (04)

If it's unique, then name the function theHeadOf(x).    (05)

John    (06)

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    (07)

<Prev in Thread] Current Thread [Next in Thread>