Uses of Package
com.articulate.sigma

Packages that use com.articulate.sigma

Package	Description
com.articulate.sigma	Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.
com.articulate.sigma.VerbNet
com.articulate.sigma.dataProc
com.articulate.sigma.nlg	Provides classes for natural language generation in the Sigma knowledge engineering environment version developed at Articulate Software Inc.
com.articulate.sigma.parsing
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.
com.articulate.sigma.wordNet	Provides classes for handling Wordnets.

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

Class	Description
BasicXMLelement	A class designed to mirror the information in a basic XML tag.
CCheck
CCheckManager.CCheckStatus	ccheckQueue keeps track of the KBs that are currently being checked.
CELT	Class for invoking CELT.
Derivation
DocGen	A class to generate simplified HTML-based documentation for SUO-KIF terms.
DocGen.DisplayFilter
ErrRec	Represents a single diagnostic error or warning produced by KIF checking.
Formula	Handle operations on an individual formula.
FormulaAST
FormulaAST.Constant
FormulaAST.Term
FormulaAST.Variable
FormulaUtil.FormulaMatchMemoMapKey
InferenceEngine
InferenceEngine.EngineFactory
InferenceTestSuite.InfTestData
InferenceTestSuite.OneResult
KB	***************************************************************** Contains methods for reading, writing knowledge bases and their configurations.
KBcache
KBmanager	This is a class that manages a group of knowledge bases.
KBmanager.Prover
KButilities	Contains utility methods for KBs
KButilities.GraphArc
KIF	A class designed to read a file in SUO-KIF format into memory.
PasswordService	A class that encrypts a string and checks it against another stored encrypted string, in order to validate a user login.
ProofStep	A trivial structure to hold the elements of a proof step.
SimpleElement	SimpleElement is the only node type for simplified DOM model.
SInE
StreamTokenizer_s	A modified StreamTokenizer that handles multi-line quoted strings.
TaxoNode	Class that holds information about each node in the tree.
User	A class that encrypts a string and checks it against another stored encrypted string, in order to validate a user login.
VariableMapping

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

Class	Description
KB	***************************************************************** Contains methods for reading, writing knowledge bases and their configurations.
SimpleElement	SimpleElement is the only node type for simplified DOM model.

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

Class	Description
KB	***************************************************************** Contains methods for reading, writing knowledge bases and their configurations.

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

Class	Description
Formula	Handle operations on an individual formula.
KB	***************************************************************** Contains methods for reading, writing knowledge bases and their configurations.

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

Class	Description
Formula	Handle operations on an individual formula.
KB	***************************************************************** Contains methods for reading, writing knowledge bases and their configurations.

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

Class	Description
Formula	Handle operations on an individual formula.
KB	***************************************************************** Contains methods for reading, writing knowledge bases and their configurations.

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

Class	Description
Formula	Handle operations on an individual formula.
FormulaPreprocessor
KB	***************************************************************** Contains methods for reading, writing knowledge bases and their configurations.
ProofStep	A trivial structure to hold the elements of a proof step.

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

Class	Description
Formula	Handle operations on an individual formula.
KB	***************************************************************** Contains methods for reading, writing knowledge bases and their configurations.