# KEHOME/help/mkrDictionary.txt
# Mar/19/2007 Jul/20/2008 Jul/26/2008

# NOTES:
# basic mKR statment format ::=
#	subject verb object pplist [done];
# verb is single word, may have suffixes like "+","*","**2"
# subject & objects are English-like phrases
#	or phrase lists
#	or proposition lists
# NSM (Natural Semantic Metalanguage) is a set
#   of universal concepts which are found in
#   all human lanugages
#
# mKR Dictionary format ::=
#	name \tab class \tab notes
#

'...'	quote	squote
"..."	quote	dquote
,	separator	phrase list (also relation|method argument lists)
/\	separator	hierarchy level
;	terminator	proposition
=	operator	assignment set|numeric
+=	operator	assignment set|numeric
-=	operator	assignment set|numeric
*=	operator	assignment set|numeric
$	operator	attribute variable value
?	operator	question variable value

:=	operator	production
::=	operator	BNF grammar (not implemented)
()	precedence	turned off - restricts use of English
[]	phrase list	use [] only for disambiguation (English style)
{}	proposition list
<>	xhtml statement	ignored when kformat=mkr

!DOCTYPE	xmlword	xx
!ENTITY	xmlword	xx
!...done	verb	shell command
.	pronoun	current concept
..	pronoun	current genus
...	pronoun	current unit|species
COMMAND	action	ke-defined
DO...done	verb	axiomatic level do
HAS	verb	axiomatic level has
I	pronoun	speaker singular
IS	verb	axiomatic level is
ISA	verb	axiomatic level isa
ISC	verb	axiomatic level isc
LATTICE	group	lattice or hierarchy
Property	attribute|binary relation	RDF|OWL|CycL
Resource	universal concept	RDF existent
Thing	universal concept	OWL|CycL existent
a	quantifier	one unspecified
above	verb	NSM concept (inverse of below)
action	characteristic	single-entity change at space,time
after	verb	NSM concept (inverse of before)
all	quantifier	ingroup
and	logic	turned off - restricts use of English
any	quantifier	exgroup
array	group	index = name
at	preposition	context: space=s,time=t,view=v
attribute	characteristic	single-entity, inseparable, static
bad	attribute	NSM evaluator
because	verb	interaction (inverse of causes) = NSM because
before	verb	NSM concept (inverse of after)
begin	group definition	start group - mostly hierarchy|relation
below	verb	NSM concept (inverse of above)
beside	verb	NSM concept
big	attribute	NSM descriptor
break	control	exit iterator loop
can...done	verb	capacity|"power" to do action
causes	verb	interaction (inverse of because)
classify	COMMAND	identify unknown
clock	COMMAND	print time & label
delete	COMMAND	unit|speies from genus
differentiate	COMMAND	genus wrt characteristics
do...done	verb	action or command
do*...done	verb	capacity|"power" to do action
dump	COMMAND	all characteristics of concept|unit
dump/gdbm	COMMAND	GDBM table
else	conditional	proposition list for false
empty	COMMAND	remove all members|alternatives from group (e.g.: list,set)
end	group definition	stop group - mostly hierarchy|relation
enum	exgroup	exclusive, order = none
event	action	occurrence (value) of action
every	iterator	repeat proposition list
everyone	pronoun	xx
exgroup	group	exclusive, e.g., enum
existent	universal concept	mKR existent
exists	action	axiomatic level, no object
exit	control	exit mKE
false	logic	value
far	space	NSM space distance
feel	sense	touch or emotion
fi	conditional	terminator
file	OBJECT	of byte|line
forAll	logic	OWL (not implemented)
forSome	logic	OWL (not implemented)
#forall	iterator	CycL iterator = mKR every
forall	logic	mKR (not implemented)
forany	logic	mKR (not implemented)
from	preposition	action initial conditions
genlmt	verb	Cycl genlMt
genls	verb	CycL genls = mKR iss
good	attribute	NSM evaluator
group	OBJECT	multi-entity abstraction
happens	verb	NSM concept (specified action|event, no subject)
happensod	verb	NSM concept (unspecified action|event)
has	verb	attribute = value
haspart	verb	part = value
hdo...done	verb	do action for every concept in hierarchy
he	pronoun	male referent
hear	sense	sound
hierarchy	group	order = iss, unique genus (should enhance to isa)
ido...done	verb	interaction # some entity ido interaction done;
if	conditional	proposition to be tested
iff	logic	xx
implies	logic	turned off ???
in	preposition	concept list
ingroup	group	inclusive, e.g. set
inside	verb	NSM concept (inverse of outside)
integrate	COMMAND	units|species wrt characteristics
interaction	characteristic	mutliple-entity change at space,time
inverse	COMMAND	of verb
is	verb	alias of concept or pronoun 
is...of...with...	verb	genus-differentia definition
isa	verb	isu or iss
isall	verb	inverse of ismem
isalt	verb	is alternative of exclusive group (e.g., enum)
isand	verb	intersection
isany	verb	inverse of isalt
isc	verb	isp or isg (inverse of isa)
isd	verb	is differentiation of (isa correction) 
isg	verb	is genus of species (inverse of iss)
isi	verb	is integration of     (isc correction) 
isin	verb	ismem infon of n-ary relation
ismem	verb	is member of inclusive group (e.g., set|list)
isnon	verb	complement wrt genus
isnot	verb	complement wrt existent
isor 	verb	union
isp	verb	is primitive concept of unit (inverse of isu)
iss	verb	is species of genus
isu	verb	is unit of primitive concept (inverse of isp)
isxor	verb	mutually exclusive union
it	pronoun	genderless referent
ke	OBJECT	my Knowledge Explorer
lattice	group	order = isa, ambiguous genus
let	verb	assignment
like	verb	NSM concept
list	group	index = integer
long	time	NSM time distance
maybe	view	NSM concept
measure	COMMAND	concept attributes
method	action	user-defined
more	quantifier	NSM augmentor
multiset	group	counted members
near	space	NSM space distance
no	quantifier	xx
non	quantifier	complement wrt genus
none	quantifier	size = 0
not	quantifier	complement wrt existent (not attribute|attribute=false)
od	preposition	action direct objects
of	preposition	definition|action domains
or	logic	turned off - restricts use of English
out	preposition	action products
outside	verb	NSM concept (inverse of inside)
part	characteristic	single-entity, separable, static
print	COMMAND	to output file
read	COMMAND	from input file
rel	verb	binary relation: relation object | relation = object
relation	characteristic	multiple-entity
return	control	product of method
set	group	order = none
she	pronoun	female referent
short	time	NSM time distance
simplify lattice	COMMAND	xx
size_genus	COMMAND	number of genus concepts
size_species	COMMAND	number of species
size_primitive	COMMAND	number of primitive concepts
size_unit	COMMAND	number of units
size_ingroup	COMMAND	number of ingroups
size_member	COMMAND	number of members
size_exgroup	COMMAND	number of exgroups
size_alternative	COMMAND	number of alternatives
size/gdbm	COMMAND	GDBM table
small	attribute	NSM descriptor
some	quantifier	size = one or more, NSM time duration
someone	pronoun	xx
space	attribute	subcontext of action
specs	verb	CycL specialization = mKR isg
subClassOf	binary relation	RDF|OWL = mKR iss* (but translate as iss)
supports	logic	situation theory |= (infix) = mKR at (prefix)
the	quantifier	unique referent
they	pronoun	xx
then	conditional	proposition list for true
time	attribute	subcontext of action
to	preposition	action final conditions
true	value	logic
type	binary relation	RDF|OWL = mKR isu
unithierarchy	hierarchy	order = isu (should use enhanced hierarchy)
unknown	concept	no genus, not member|alternative of group
unlet	verb	assignment &null
until	iterator	repeat proposition list
value	attribute	measurement of characteristic
very	quantifier	NSM intensifier
view	attribute	context
vlet	verb	assignment in all views
we	pronoun	speaker plural
when	iterator	repeat proposition list on event (not implemented)
while	iterator	repeat proposition list
with	preposition	differentia | action modifiers
write	COMMAND	to output file
xor	verb	is disjoint from (daml:disjointWith)
vdo...done	verb	do action in every view
you	pronoun	hearer