A core ontology for requirements
Cyc: toward programs with common sense