A system and method for representing, storing and retrieving real-world knowledge
on a computer or network of computers is disclosed. Knowledge is broken down into
permanent atomic "facts" which can be stored in a standard relational database
and processed very efficiently. It also provides for the efficient querying of
a knowledge base, efficient inference of new knowledge and translation into and
out of natural language. Queries can also be processed with full natural language
explanations of where the answers came from. The method can also be used in a distributed
fashion enabling the system to be a large network of computers and the technology
can be integrated into a web browser adding to the browser's functionality.