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