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.nlg
com.articulate.sigma.semRewrite

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

Class and Description
AVPair
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.
DependencyConverter.Node
DocGen A class to generate simplified HTML-based documentation for SUO-KIF terms.
DocGen.DisplayFilter
EProver
Formula Handle operations on an individual formula.
FormulaPreprocessor
FormulaUtil.FormulaMatchMemoMapKey
Hotel
Hotel.JSONElement
InferenceEngine
InferenceEngine.EngineFactory
KB Contains methods for reading, writing knowledge bases and their configurations.
KBcache
KBmanager This is a class that manages a group of knowledge bases.
OWLtranslator Read and write OWL format from Sigma data structures.
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.
TPTP3ProofProcessor
User A class that encrypts a string and checks it against another stored encrypted string, in order to validate a user login.
Vampire Class for invoking the KIF version of Vampire from Java.
WordNet This program finds and displays SUMO terms that are related in meaning to the English expressions that are entered as input.

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

Class and 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.semRewrite

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