MKE version 6.3 lets the user access the full power of the internal hwalk/hdo functions. hdo action from cuname with path done; (cuname means the name of any...
Attention Mac owners: 1. If you're feeling adventurous, you can build your own Unicon binaries build your own MKE binaries using the Unicon source and MKE...
As you can see, I'm continuing to polish my shell scripts. http://rhm.cdepot.net/bin/mkr2rdf http://rhm.cdepot.net/bin/mkr2cyc There are several reasons why...
Thanks Dick, I'll pass along your comments to Cyc developers. -Steve ... -- =========================================================== Stephen L. Reed...
Food for thought I am somewhat concerned about Qnames, and their relation to what I am now calling Vnames in MKR. Initially, I had thought that Qname and...
... Right, (#$isa #$Chicken001 #$Chicken) ... Cyc has vocabulary for events and causality so I can imagine a context in which there is a CrossingTheRoad event...
Thanks for the "causality" pointer. I found CycL "#$causes-PropProp", which is essentially the same as MKR "causes". For planning, I didn't find anything that...
These notes clarify an issue that has confused me. I hope you can benefit from my experience, and avoid confusion. Recall that a Microtheory is a collection of...
Here are the actual results generated by OpenCyc 0.7b http://rhm.cdepot.net/knowledge/applications/SemanticWeb/OpenCyc/WhyChicken.html For this iteration, I...
This email shows the new KornShell/Java interface, which supports the basic features of the MKR language, but not the more advanced features. Unicon is not...
I have added some more sophisticated features, including McCarthy context (#$ist) genus-differentia definitions (#$defnIff) identity (#$equals) causality...
There's a reason that UNIX/Linux has been so popular for so many years -- it has a great set of software tools. You can find everything, beginning with ...
Yes, you're right. I got carried away with my own enthusiasm, and my natural tendency to share information. I'll stick to the KR-language list. Dick McCullough...
Here are some more precise numbers for hard disk size. My first, minimum install of Cygwin used 30 MB. I just updated to Cygwin 1.5, my current disk space is...
I redesigned the TAP interface in the same spirit as the OpenCyc interface. The new commands http://rhm.cdepot.net/bin/mketap http://rhm.cdepot.net/bin/tap ...
It occurred to me that the techniques behind my "simplified" MKR interfaces to TAP and OpenCyc could be used to sneak these more advanced concepts into...
After making some minor bug fixes to the TAP Java Client, I decided to include it as part of the MKE download file. This means that you only have to download ...
FYI Here's a rough cut of the actual answer. http://rhm.cdepot.net/knowledge/applications/SemanticWeb/OpenCyc/HowAirport.html In the coming weeks, I will...
I changed my mind, and finished up this example tonight. The URL now contains the actual results from OpenCyc. Dick McCullough knowledge := man do identify od...
At Cycorp we are performing a "Grand Lift" task in which timeless definitional assertions are being lifted to the the UniversalVocabularyMt. In order to...
updated info.: 1. I have linked this into the MKE homepage under MKE applications > OpenCyc > Person isa ?; 2. I have added an evolving series of notes re ...
Adrian I thought you would be particularly interested in the OpenCyc Person lattice after our Tahoe discussions re efficiency & usefulness of the class lattice...