Ontolingua: A Mechanism to Support Portable Ontologies
A representation language language