I'm assembling a list of specific "grammar hints" in http://mKRmKE.org/help/hint.mkr. These hints show the MKR syntax for particular features, e.g. pplist ...
My original concept of a binary relation used the example 1:: John rel father=Sam, mother=Susan; In this case "father" and "mother" are really the argument...
This link shows the starting screens for the "-owl" option of MKE 7.3. http://mKRmKE.org/homepage/owl.screenshot.jpg The first hierarchy is a high-level...
A handy dictionary of mKR words & symbols in now available http://mKRmKE.org/help/mkrDictionary.txt Dick McCullough knowledge := man do identify od existent...
I have updated all mKE files, including especially knowledge/cyc/myCyc.mkr kb/initial.mkr kb/final.mkr src/init.icn to make sure that CommentMode and...
Here's a simple example (from my ongoing work on Cyc Upper Ontology) of how to use mKE/mKR to edit your hierarchy. $ ke -q -m -cyc ... ke$ Entity isa* ?; ...
Off the top of my head 1. XType belongs in another context. In that other context, you can call it X. 2. X ismem Class; Class isu set; is a way of integrating...
This message is intended for potential new users of mKR/mKE. It is also one of the new links on my web site. The purpose of this note is to alert you to the...
The translation of "subClassOf" is "iss*". However, I have been "approximating" the meaning of x iss* y; as x iss y; Backing up one step, I just translated...
I added another check option do check od aliasloop done; which looks for x iss y; y iss x; pairs. The only new alias that was detected is CycLQuery is...
Correction: check of aliasloop found CycLTerm is CycLTerm; Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; ...
I recommend installing Cygwin first -- it makes everything so much easier. see http://mKRmKE.org/download/README.html Dick McCullough knowledge := man do...
Doing a genus check on the current myCyc.mkr do check od genus done; catches 444 individual-class contradictions 40 unknowns These are "fatal" errors which...
Correction: I made bad assumptions about the subcategories of errors. There are 1942 individual-class contradictions. Dick McCullough knowledge := man do...
The REBOL internet messaging language has 10+ built-in internet protocols, including HTTP FTP SMTP POP You can execute "rebol" from a shell script or an mKR...
This link accesses 10+ years of my notes on mKR/mKE http://mKRmKE.net/knowledge/ The best material is linked from my home page. Some material has never been...
I added another half dozen references. The list is so long, I split it into categories. http://mKRmKE.org/doc/ref.html Dick McCullough knowledge := man do...
ke -tap loads the RDF language definitions and the TAP knowledge base. mKE is already updated, but my tap.mcf to tap.mkr translation won't be finished until...
some good syntax changes: For arrays, use "in" instead of "of". I think this is more natural, and it is consistent with other languages, such as AWK. For...
The new option ke -tap loads RDF language definition + TAP knowledge base. The mKE download file, knowledge.zip, now includes the TAP knowledge base in 3...
I didn't realize this before, but the TAP knowledge base is "missing" many important relations in its ECP hierarchy. For example, you have 213 Musicians in the...
Correction: Sorry, Rob. Some (or most?) of the disconnection was caused by my error. To avoid special-character problems in people's names, I quoted them. But...
Rob I don't think I'll have any more special character problems. This AWK preprocessor does the trick. # <html><xmp> # KEHOME/src/QuoteMCF.awk # Feb/26/2007 #...
It takes so long to load the TAP knowledge base using ke -tap that I decided to implement dynamic concept loading. The tap.mkr file is copied into a BOOT...
This is my proposal for a standard import/export format for OpenCyc. Each concept description begins with ". is concept;" and continues with all propositions...
This is my proposal for a standard import/export format for OpenCyc. Each concept description begins with ". is concept;" and continues with all propositions...
Hi, I tried installing MKe on my mac laptop and couldn't get the make mac to work. I think I am probably misunderstanding how to use unicon. Do you have any...
S.Stamper/R.Smith
sstamper@...
Feb 27, 2007 4:27 am
394
Roger For general guidance, you can look at the Linux/UNIX documentation of the "make" command. For Unicon guidance, see the Unicon book ...
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.
