mKE does not include a "typical" inference engine.

mKE does make inferences regarding
0) simple if-then-else-fi with and,or,xor,not
1) context
every proposition has a context of definitions and assumptions
actions have a space-time subcontext, from a beginning to an end
the most abstract context includes the axiomatic concepts
existent, entity, characteristic, identity
the next level of abstraction includes the species of characteristic
part, attribute, action, relation
the universal context (tabula rasa) includes these species
2) hierarchy structure -- e.g., built-in functions to find
ambiguities and inconsistencies
relation between two concepts
least abstract genus of two concepts
genus-differentia definition of a concept
3) the relation of terms to the universal context, e.g.
x has y = z; implies x isa existent;
y isa attribute;
z isu y; # value
x do y = z done; implies x isa entity;
y isa action;
z isu y with entity,space,time; # event
4) built-in concepts, e.g.
variable
set
list
enumeration
relation
method
meaning


Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial