Again, there are example ontologies and axioms
on my web
Ah, but if they are written in mKR,
then they don't count as ontologies or axioms
until you tell us what counts as mKR-valid reasoning.
Or, equivalently, give us a precise, formal,
semantic specification for the notation.
There is no magic way out of this box.
As suggested by John Sowa, I am defining the
semantics of mKR by translating to IKL.
Since you are so eager to see the semantics of
I have translated the "atomic" statements
object pplist [done];
for the verbs
and the prepositions
You can display the translation
by installing mKE and executing
If you want more details,
you can read the translation program