Building large knowledge-based systems : Representation and inference in the cyc project - Lenat, Douglas B (Addison-Wesley Publishing, 1990)