# KEHOME/doc/MKRintro.html
# Apr/14/2003
#=======================#
# MKR introduction #
# version 5.5 #
# #
# 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 six types of sentence
statement
question
command
assignment
conditional
iteration
and the eight types of verb
definition isa, iss, isu (uses preposition "with")
alias is
binary relation isa, iss, isu, ismem, isalt
n-ary relation isin
part haspart
attribute has
action do, do* (uses terminator "done")
interaction causes
There are many other MKR relations, not shown here.
The basic eight statements are
subject isa object with essential characteristics;
subject is object;
subject isa object;
subject isin relation = value;
subject haspart part = value;
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 causes object;
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" replaced by "set" or "unset".
For example
set charformat = column;
unset debug;
The conditional format is
if propositionlist:1
then propositionlist:2
else propositionlist:3
fi;
The iteration format is
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