00265 a2200085 4500 9780201517521 D.B. Lenat , R.V. Guha Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project Addison-Wesley 1990 42225 42225