Knowledge Explorer is an interactive tool for organizing knowledge.
It helps you record, change, and search knowledge, and provides
extensive error checking to ensure the internal consistency of the
knowledge. Interaction with Knowledge Explorer uses the KR language --
simple English-like statements, questions and commands, plus Unix-like
variables, methods and control structures.
<p>Knowledge Explorer defines <I>knowledge</I> as "an identification of
the facts of reality, using words and sentences." A Smart Input Menu
prompts the user for all necessary information and automatically creates
the correct input syntax.
<p>Version 4.5 of Knowledge Explorer includes Semantic Web applications.
This download is a gzipped TAR binary package which includes complete
source code.  The program is fully functional with no limitations.
Registration is $25.  
