SUMO (Suggested Upper Merged Ontology)

What it is SUMO and its domain ontologies are presented as a large free formal ontology used in search, linguistics, and reasoning. SUMO is written in SUO-KIF, owned by IEEE, mapped to all of WordNet, and extended by numerous domain ontologies under the GNU GPL.

Key concepts Upper and mid-level ontologies; domain extensions; formal axioms and definitions; WordNet mappings; first-order theorem-prover formats; SigmaKEE, SUMOjEdit, and SigmaNLP tooling.

How you’d use it Browse or edit formal terms, map English words through WordNet, perform inference, use TPTP exports with provers such as E or Vampire, or consume Neo4j and OWL translations. The portal also provides language-generation templates and a language-to-logic training corpus.

LLM angle none stated

Pitfalls & lessons The large taxonomy graph is explicitly too large to display in a browser. The portal offers several translations and toolchains, so users need to choose among SUO-KIF, TPTP, Neo4j, and OWL representations according to their task.

Verdict A richly axiomatized, tool-supported upper ontology with broad domain coverage and unusually extensive WordNet integration.

Sources consulted

• https://www.ontologyportal.org/