The Ontolingua source release previously available here has been removed because it is now no longer supported. Please use the interactive network service version of Ontolingua instead at http://ontolingua.stanford.edu/