SUMO

The Suggested Upper Merged Ontology is a free, formal upper ontology with many associated tools, translations, explanatory documents and domain ontologies.

See: http://www.ontologyportal.org