Integration of the TPTPWorld into SigmaKEE

New Capabilities in SigmaKEE

• Internal support for TPTP format
• Access to many ATP systems for reasoning
• Question answering services
• New results presentations
• Extended browser interface

Implementation

• TPTPWorld tools added to SigmaKEE distribution
• Embedded Java implementations of some tools