[Top] [All Lists]

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

To: Bill Andersen <andersen@xxxxxxxxxxxxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Mon, 17 Dec 2007 20:07:02 -0800
Message-id: <p0623092dc38cf512e4a9@[]>
>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)

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