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

["John F. Sowa" <sowa@xxxxxxxxxxx>]

Bill,    (01)

There is another principle:  If you start with contrived axioms,
you're likely to get contrived results:    (02)

> (forall ((x person)) (exists (y) (and (has x y) (not (part y  
> EmpireStateBuilding))))))
> 
> True when every person has something that isn't part of the Empire  
> State Building.  The function introduced in the form you suggest would  
> look pretty contrived -- or at least not so natural as 'fatherOf'.    (03)

I can't imagine why anyone would put that axiom into a knowledge
base that was supposed to serve some useful purpose.    (04)

Can you find any useful axioms of the A-E form whose Skolem functions
would be "contrived"?    (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)