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…