The Suggested Upper Merged Ontology (SUMO) - Ontology Portal

Description

Suggested Upper Merged Ontology (SUMO)

The second annual SUMO Reasoning Prize will take place at The CADE ATP System Competition at CADE 2009. $3000 in prizes will be awarded to the best reasoning performance on a set of SUMO-based tests. Congratulations to 2008 first place winner Krystof Hoder for SiNE .

The Suggested Upper Merged Ontology (SUMO) and its domain ontologies form the largest formal public ontology in existence today. They are being used for research and applications in search, linguistics and reasoning. SUMO is the only formal ontology that has been mapped to all of the WordNet lexicon. SUMO is written in the SUO-KIF language. SUMO is free and owned by the IEEE. The ontologies that extend SUMO are available under GNU General Public License . Adam Pease is the Technical Editor of SUMO.

Find an English word and its corresponding formal term ...

Original URL

http://www.ontologyportal.org/

http://www.ontologyportal.org/