On 4/14/2010 1:58 PM, rick@xxxxxxxxxxxxxx wrote:
> Is there an implicit requirement that functions play a role
> in the FL at least as important as entities? (01)
I consider the word 'entity' (or its representation in any ontology)
to be an all-inclusive supertype. The Latin root is 'ens' (being).
So anything that can be considered to exist is an entity. (02)
Since quantifiers in Common Logic can range over functions and
relations, they would be considered entities just as much as
anything else. (03)
John (04)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/sio-dev/
Join Community: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/sio-dev/
Unsubscribe: mailto:sio-dev-leave@xxxxxxxxxxxxxxxx
Community Shared Files: http://ontolog.cim3.net/file/work/SIO/
Community Wiki:
http://ontolog.cim3.net/cgi-bin/wiki.pl?SharingIntegratingOntologies (05)
|