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 existence of a valuable (IMHO) tool.
If you find it useful, I get no monetary profit
-- I get only my pride of accomplishment.

my Knowledge Representation language (mKR)
is a "Real Intelligence" language -- its
purpose is to help humans "work smarter".
mKR is composed of Ayn Rand's epistemology
+ actions/methods + modern computer languages
+ English-like syntax.

my Knowledge Explorer (mKE) implements mKR.
mKE can access the OpenCyc knowledge base --
an ambitious Cycorp project which combines
"common-sense" reasoning with the vast knowledge
available on the internet. OpenCyc uses approx.
7000 contexts to support its reasoning process.
OpenCyc has some epistemological problems,
which I hope to solve using mKR.

mKR is a very terse language -- which helps you
focus on essentials. Here is a sample "program"
which displays one concept subhierarchy
(that's 1 of 1911 total concepts)
from the OpenCyc Upper Ontology.

Person isc* ?;

"isc" is the verb which relates a concept to its
units and species; "*" means iterate; "?" means
the concepts which make this "statement" true.
In other words, search the knowledge base for
answers to this "question".

I share everything I know -- see http://mKRmKE.org/.

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/