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