Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project - D.B. Lenat , R.V. Guha (Addison-Wesley, 1990)