Integration of the TPTPWorld into SigmaKEE

Introduction

• KBR, What is it?
• ATP, What is it?
• ATP in KBR?

SigmaKEE

• The Standard Upper Merged Ontology
• The Sigma Knowledge Engineering Environment

The TPTP and the TPTPWorld

• The TPTP Problem Library
• The SZS Ontology
• SystemOnTPTP - ATP Systems and Tools
• IDV - Interactive Viewing of Derivations
• MANSEX - Multiple Answer Extraction

Integration

• Overview
• SUO-KIF to TPTP Translation
• Using SystemOnTPTP
• Question answering with MANSEX
• Displaying Results