>
>Well, I admit it was contrived. You got me. How about this one, then?
>
> (forall ((x human)) (exists ((y human_arm)) (part x y)))
>
>which also violates, for anatomically normal humans, uniqueness. (01)
The function doesn't have to say WHICH arm it is.
So you could say this in this way: (02)
(forall ((x human))(part x (anArmOf x))) (03)
where the value of the function is some
(unspecified, or random) arm. Or, you could
probably do better: (04)
(forall ((x human))(and (part (rightArmOf x) x)(part (LeftArmOf x) x) )) (05)
> 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. (06)
Its a pretty weak way to specify anatomy if you
don't include any numerical information to
distinguish people from octopuses. (07)
Pat (08)
>
>> Can you find any useful axioms of the A-E form whose Skolem functions
>> would be "contrived"?
>
>I think I just did ;-D
>
>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
>
>
>
>
>_________________________________________________________________
>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
> (09)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (010)
_________________________________________________________________
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 (011)
|