E. Davis, Representations of Commonsense Knowledge and D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representations and Inference in the Cyc Project.