http://en.wikipedia.org/wiki/User:Abd/MKR_%28programming_language%29 After a two-week struggle, Wikipedia officially deleted my article yesterday. One of my...
A small correction - "siblings" is inter-entity property, not single-entity. So Retriever-Dog has siblings = ?; should be changed to Retriever-Dog rel siblings...
Thanks. P.S. I think OpenCyc has two different redirections. If you use their Concept Browser, you get a nice, human-readable display. But if you use wget, you...
mKE 7.4 is now available for download from http://mKRmKE.org/ By setting kbmode := cycws; you direct mKE to access the OpenCyc knowledge base using the Cyc...
After talking to you about generators, I decided to add them to mKR. All I have to do is add the "suspend" statement, and map it directly to a Unicon "suspend"...
A natural language interface would be best for everyone, including me. But "NL" has been in the works for years, and I don't think it's going to arrive soon. ...
Every concept in OpenCyc has a "comment" property. This is an English description of the concept, sometimes very long. I have found the comments to be very...
I haven't finished reading your first CELT paper yet, but I am so excited about the comparison that I wanted to email you. Your Controlled English (CE) and my...
I finished reading it, and have comments on two topics. 1. I looked at "the top of the SUMO taxonomy" in section 1.4. I disagree with the classification of a...
After thinking a little more, I would translate to mKR as follows. # John eats every hamburger that he sees. rule:: if John do see od hamburger = x done; then...
I downloaded SUMO.owl.txt and ran owl2mkr SUMO.owl.txt SUMO.mkr.txt result is attached. I'll be using mKE to explore the SUMO hierarchy. Dick McCullough ...
I've made a lot of changes to mKRmKE.org/ in the last few days. The most significant changes are new section: "What is context?" -- definition of context in...
Here's what I'm using as the starting point for SUMO (3 levels) http://mKRmKE.org/kb/spo.sumo.html My best guess so far is that you consider the "comment"...
As I roam thru the SUMO hierarchy (using mKE), I am pleased with what I see. Most of the terms seem familiar -- not too far from ordinary English. I want to...
I now have a good perspective on the relation between the hierarchies. 1. SUMO is a good ontology. begin hierarchy sumo; Entity; / Abstract; / Physical; ...
My proof reading was not too good this morning. Insert "existent;" at beginning of tabula rasa. Dick McCullough http://mKRmKE.org/ Ayn Rand do speak od mKR...
I have decided that I will add some KIF features, if necessary. As I said before, my main concern will be preserving the English-like flavor of mKR. I think...
I have added two items to the "File" menu, so you can switch back and forth between the Input menu and the Concept menu. You can see the details of both...
By definition action is characteristic with single entity, space, time; interaction is characteristic with multiple entity, space, time; Syntactically any...
I got this Java implementation of a web server up & running on my Windows Vista laptop in about an hour. I only had one problem http://rhmlaptop/ didn't...
Did you know that OWL has a "genus-differentia" definition that is almost correct? (using mKR translation of OWL) mKR: subject is genus with differentia;...
Here are my initial thoughts on improving SUMO. 1. Make extensive use of genus-differentia definitions. If you don't want to use mKR, at least use the OWL ...
I don't think your comments below are pertinent for suggestions 1 and 3. re: 1. I can't believe that you don't want to use genus-differentia definitions. For...
One kind of contradiction in SUMO is the individual-class contradiction. Many terms in SUMO are both individuals (aka units) and Classes (aka concepts). This...
It's not a matter of logic. It's a matter of definitions. Even though I've forgotten a few things over the years, I know a lot about logic. You're using a...
I beg to disagree. The fact that it's common doesn't make it right. A class with one member is not the same as an individual. They are two different...
OK, here's my guess. I think the contradiction is not provable because you did not define "individual" and "class". Also, you would need definitions of "type"...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
