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 John do eat od hamburger = x done;
fi;

# He observes a hamburger at Wendys.
he is John;
observe is see;
at space = Wendys { he do observe od a hamburger done; };
# ke do rule done;
John do eat od a hamburger done;

# Who eats what?
? do eat od ? done;
# ke do search done;
John do eat od a hamburger done;

Dick McCullough
http://mKRmKE.org/
Ayn Rand do speak od mKR done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
mKE do enhance od "Real Intelligence" done;