2 papers
cs.AI2023
Translating SUMO-K to Higher-Order Set Theory
Chad Brown, Adam Pease, Josef Urban
We describe a translation from a fragment of SUMO (SUMO-K) into higher-order set theory. The translation provides a formal semantics for portions of SUMO which are beyond first-ord…
cs.AI2023
Converting the Suggested Upper Merged Ontology to Typed First-order Form
Adam Pease
We describe the translation of the Suggested Upper Merged Ontology (SUMO) to Typed First-order Form (TFF) with level 0 polymorphism. Building on our prior work to create a TPTP FOF…