The Suggested Upper Merged Ontology is a free, formal upper ontology with many associated tools, translations, explanatory documents and domain ontologies. (LAI)
See: http://www.ontologyportal.org (AP9)
SUMO
