
<H2> What is Knowledge Explorer? </H2>
<H3>
Knowledge Explorer is an interactive tool for organizing knowledge. <BR>
It helps the user to record, change and search knowledge, and provides <BR>
extensive error checking to ensure the internal consistency of the knowledge. <BR>
Interaction with Knowledge Explorer uses simple English-like statements, <BR>
commands and questions, plus UNIX-like conditionals, loops and methods. <BR>
</H3>
<BR>
<H2> What is Knowledge? </H2>
<H3>
Knowledge is an identification of the facts of reality, using words and sentences. <BR>
The internal knowledge structure consists of entity-relation hierarchies with <BR>
space-time-dependent events.  The principal external knowledge structures are <BR>
relational databases, hierarchy outlines and transliterated English. <BR>
</H3>
Principal changes in Knowledge Explorer version 2.3:
Declaration of participation in relation, method
(where variable has the format class:n)
	cname in relation/variable
	cname in method/variable
Differentia for actions defining products
	product := enity do action aobject with differentia
