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