Integration of the TPTPWorld into SigmaKEE
Steven Trac, Geoff Sutcliffe, Adam Pease · 2008
Abstract. This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning environment, with strong knowledge management features, and access to modern state of the art ATP systems for reasoning over knowledge bases. 1