# KEHOME/doc/MKRintro.html
# Mar/12/2003
#=======================#
# MKR introduction #
# version 5.3 #
# #
# Richard H. McCullough #
#=======================#
An MKR proposition has the format
at context { sentence };
where context is
space=s, time=t, view=v
and sentence is
subject verb object prepositionphrase;
View names the context, which is a list of
propositions. A context is normally stored in
an entity-characteristic-proposition hierarchy.
The details of sentence structure depend on
the five types of sentence
statement
question
command
assignment
control statement
and the seven types of verb
definition isa, iss, isu (uses preposition "with")
alias is
part haspart
attribute has
action do, do* (uses terminator "done")
relation isa, iss, isu
interaction causes
There are many other MKR relations, not shown here.
The basic seven statements are
subject isa object with essential characteristics;
subject is object;
subject haspart part = partvalue;
subject has attribute = value;
subject do action = event
with action characteristics
out action products
od action direct objects
from initial characteristics
to final characteristics
done;
subject isa object;
event:1 causes event:2
The question format is the same as a statement,
with one or more elements replaced by a question
mark. For example
subject has ?;
subject do ? done;
The command format is the same as an action statement,
with the subject omitted. For example
do classify od unknown to view done;
The assignment format is the same as an attribute statement,
with the subject omitted, and "has" replace by "set" or "unset".
For example
set charformat = column;
unset debug;
The two control statement formats are
if propositionlist:1
then propositionlist:2
else propositionlist:3
fi;
every variable isa concept { propositionlist };
There are special definition formats for
method
relation (n-ary)
hierarchy
which are not shown here. These formats are very user-friendly.
For example, the hierarchy format is an indented outline, similar
to the table of contents of a book.
The comment format begins with "#" and extends to end of line.
For example
MKRintro.html has # this document
author="Richard H. McCullough", # dc:creator
date="March 5, 2003"; # creation date
For more details see
KEHOME/doc/MKRgrammar.html
KEHOME/doc/MKRtoken.html
KEHOME/src/symbol.icn
KEHOME/src/token.icn
KEHOME/doc/MKEtutorial.html