Uses of Package
com.articulate.sigma.trans

Packages that use com.articulate.sigma.trans

Package	Description
com.articulate.sigma	Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.
com.articulate.sigma.tp
com.articulate.sigma.trans	Provides classes for translation to other logical languages in the Sigma knowledge engineering environment version developed at Articulate Software Inc.

Classes in com.articulate.sigma.trans used by com.articulate.sigma

Class	Description
TPTP3ProofProcessor

Classes in com.articulate.sigma.trans used by com.articulate.sigma.tp

Class	Description
TPTP3ProofProcessor

Classes in com.articulate.sigma.trans used by com.articulate.sigma.trans

Class	Description
DB2KIF
KIF2SQL
OWLtranslator	Read and write OWL format from Sigma data structures.
SUMOKBtoTPTPKB
TPTP3ProofProcessor.GraphFormulaFormat