Uses of Package
TPTPWorld

Packages that use TPTPWorld

Package	Description
TPTPWorld
com.articulate.sigma	Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.

Classes in TPTPWorld used by TPTPWorld

Class and Description
Binding
TPTPFormula
TPTPParser
TPTPParser.Symbol

Classes in TPTPWorld used by com.articulate.sigma

Class and Description
Binding
TPTPFormula