Building large knowledge-based systems : representation and inference in the Cyc project - Lenat, Douglas B. (Addison-Wesley Pub. Co., 1989)