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)