[ontolog-forum] quantifiers

["Richard H. McCullough" <rhmccullough@xxxxxxxxx>]

Sjir

If I had thought to use quantifiers, your example would have been greatly simplified.
Here are a couple of things that would change.

 1) country has capital = city;
has no restrictions on country, capital or city.
    country has the capital = city;
means there can be only "the" one unique capital.

2) I defined "the community" to be the unique community that you belong to.
But I defined it to be a singular concept so that
     Sjir isa the community;
instead of
     Sjir ismem the community;
The quantifier "all" converts "the community" to a collective concept, so
     Sjir ismem all the community;
is appropriate, and
     all the community has birth country = ?;
returns the birth countries of all members of the community.

 
Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)