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