That is a question raised by Pat Hayes c2009 when I was active on Ontolog Forum.
The way that he posed the question forced me to admit mKR was designed for man,
and Pat concluded that mKR was NOT appropriate for machine.
I disagreed, but could not counter Pat's logic.
In 2014 I am ready to argue that mKR is appropriate for man AND machine.
To quote from "mKR style" (see
http://mkrmke.org/CKS.html)
Name can remain undefined if meaning is obvious to reader
That certainly sounds like a language designed for man NOT machine.
mKE is an intelligent, self-aware program that knows the definition of Name
(if it has been defined). Man can ask mKE
Name is ?;
If Name is undefined, man has several options:
ignore the problem
define Name
tell mKE to determine the definition from the known characteristics of Name
That still sounds like mKE/mKR is designed only for man.
However, I can write an mKR script which can be automatically executed
by mKE to perform the "same" appropriate actions as man.
The combination of mKE/mKR can ensure that all Names are defined.
That makes mKR suitable for man AND machine.
Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial