ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Ontology and methodology

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Wed, 21 Mar 2007 13:22:54 -0500
Message-id: <p0623090ac2272821acce@[10.100.0.26]>
>
>(= inheres (frameworkName JohanssenMetaph 'inheres'))
>(= propInstance (frameworkName JohanssenMeta 'property instance'))
>
>(forall (x  ...)(iff (x ...)(exists ((y propInstance))(and
>(propInstance y x)(inheres x ...)(not (HayesMetaph y))
>)) ))    (01)

Actually that maybe should be (inheres y ...), and maybe needs to be 
restated in a more complex way. Im not sure about exactly what it is 
that inheres. But whatever, Im sure it can be done.    (02)

Pat
-- 
---------------------------------------------------------------------
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    (03)


_________________________________________________________________
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    (04)

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