Large theory reasoning with SUMO at CASC
Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac · AI Communications · 2010
The Suggested Upper Merged Ontology (SUMO) has provided the TPTP problem library with problems that have large numbers of axioms, of which typically only a few are needed to prove any given conjecture. The LTB division of the CADE ATP System Competit