Precisiated natural language (PNL)
CYC: a large-scale investment in knowledge infrastructure