Currently, the demo version on this web-site maintains a separate knowledge base for each computer that uses the system. There is no base knowledge whatsoever. The logic engine (prover) is fast but incomplete, so certain inferences will not be made. The logic engine also works on a single computer.
Phase 2: A single knowledge base will be used, with separate users. Each user will be able to see knowledge entered by other users, with trust levels of other users as directed. There is no base knowledge of the world. The logic engine will include the "full prover", so inferences will be possible.
Phase 3: Base knowledge of the world will be added. Base knowledge includes things like "if A is bigger than B, then B is not bigger than A", and a number of other implications we take for granted. Vocabulary will be added, so that the system will know that "bigger" is the same as "larger" and the opposite of "smaller". The system will also be expanded to make use of networked computers.
During the test phases, use of the system is free.