Ontolingua: A Mechanism to Support Portable Ontologies
Cyc: toward programs with common sense