A small correction - "siblings" is inter-entity property, not single-entity.
So
Retriever-Dog has siblings = ?;
should be changed to
Retriever-Dog rel siblings = ?;
Dick
----- Original Message -----
From: "Richard H. McCullough" <rhm@...>
To: "John De Oliveira" <johnd@...>
Cc: "Abd ul-Rahman Lomax" <abd@...>
Sent: Wednesday, July 16, 2008 11:26 AM
Subject: replacement HTML for OpenCyc Web Services
>I suggest using the attachment as a replacement for the current page
> on the Cyc Foundation website. I made the following changes.
>
> I reordered the examples, grouping similar properties together.
>
> I added "aka"s where other terms are more common than the OpenCyc terms.
>
> I added the mKR "find property" question that invokes each Web Service,
> since I assume you are still interested in having an mKR language
> interface
> for OpenCyc.
>
> I hadn't thought about the "find concept" questions before now, but mKR
> already has a find command using wildcards, and could use the with phrase
> to specify constraints on paging, etc. For example
>
> do find od Coo* from AlphaConstants with 1/10 done;
>
> Dick McCullough
> http://mKRmKE.org/
> Ayn Rand do speak od mKR done;
> knowledge := man do identify od existent done;
> knowledge haspart proposition list;
> mKE do enhance od "Real Intelligence" done;
>
Dick McCullough
http://mKRmKE.org/
Ayn Rand do speak od mKR done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
mKE do enhance od "Real Intelligence" done;