[Top] [All Lists]

[ontolog-forum] quantifiers

To: Sjir Nijssen <sjir.nijssen@xxxxxxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: KR-language <kr-language@xxxxxxxxxxxxxxx>, "Richard S. Latimer" <rslatimer@xxxxxxx>
From: "Richard H. McCullough" <rhmccullough@xxxxxxxxx>
Date: Sun, 6 Apr 2014 21:23:57 -0700
Message-id: <COL129-W1067BB129FDCE199D3D679CB680@xxxxxxx>

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)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] quantifiers, Richard H. McCullough <=