Knowledge Explorer is an interactive tool for organizing knowledge.
It helps the user to record, change and search knowledge,
and provides extensive error checking to ensure
the internal consistency of the knowledge.
Interaction with Knowledge Explorer uses simple
English-like statements, commands and questions.

Knowledge is an identification of a fact of reality,
using words and sentences.
The internal knowledge structure consists of concept-hierarchies
and space-time-dependent events.
The principal external knowledge structures are relational databases,
hierarchy outlines and transliterated English.

Principal changes in Knowledge Explorer version 2.0:
statements about statements
    person do kaction sentence
    kaction ise know, believe, say, ask
hierarchy outline file (kformat=ho)
    !read book.ho
wildcard pattern for name lookup ("*" matches any string)
    !find pattern, subhierarchy
    pattern is ?
change concept command (like "cd" in UNIX or DOS)
    !cc name
next concept command to step through genus & units
    !nc ..
    !nc ...
measure command for calculating new attributes
    !measure concept with attrname
classify command
    !classify newconcept with attrname to oldconcept
user-defined method
    mymethod is method with r_format="...", r_meaning="..."
    !mymethod abc,def
revised tabula_rasa hierarchy
    existent ise entity, relation
    characteristic is relation
    knit haspart chit
new logic operators (artificial intelligence style)
    sentence:1 |- sentence:2		(implies)
    space=s,time=t,view=v |= sentence	(supports)
revised syntax for context  specification ("from" not allowed)
    at c:2 from c:1  ->  at c:1 at c:2  (or c:1 |= c:2 |=)
revised syntax for attribute=value and action=event lists (square brackets)
    entity has attribute=[value:1, ...]
    entity do action=[event:1, ...]
revised syntax for read command
    !read birth.rel with cname=r_birth
