Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project