Hierarchy For All Packages

Package Hierarchies:

• com.articulate.delphi,
• com.articulate.sigma,
• com.articulate.sigma.mlpipeline,
• com.articulate.sigma.nlg,
• com.articulate.sigma.trans,
• com.articulate.sigma.utils,
• com.articulate.sigma.wordNet

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractSet<E> (implements java.util.Set<E>)
      • java.util.TreeSet<E> (implements java.lang.Cloneable, java.util.NavigableSet<E>, java.io.Serializable)
        • com.articulate.sigma.trans.SUMOKBtoTPTPKB.OrderedFormulae
  • java.util.concurrent.AbstractExecutorService (implements java.util.concurrent.ExecutorService)
    • java.util.concurrent.ThreadPoolExecutor
      • com.articulate.sigma.CCheckManager
  • com.articulate.sigma.AVPair (implements java.lang.Comparable<T>, java.io.Serializable)
  • com.articulate.sigma.Base64
  • com.articulate.sigma.BasicXMLelement
  • com.articulate.sigma.BasicXMLparser
  • com.articulate.sigma.wordNet.BrownCorpus
  • com.articulate.sigma.wordNet.BrownCorpus.Doc
  • com.articulate.sigma.wordNet.BrownCorpus.Para
  • com.articulate.sigma.wordNet.BrownCorpus.Sentence
  • com.articulate.sigma.wordNet.BrownCorpus.Token
  • com.articulate.sigma.CCheck (implements java.lang.Runnable)
  • com.articulate.delphi.Cell
  • com.articulate.sigma.CELT
  • com.articulate.sigma.CELTTestSuite
  • com.articulate.sigma.Clausifier
  • com.articulate.sigma.ClientHttpRequest
  • com.articulate.sigma.DB
  • com.articulate.delphi.Delphi
  • com.articulate.sigma.Diagnostics
  • com.articulate.delphi.Distribution
  • com.articulate.sigma.DocGen
  • com.articulate.sigma.DocGen.PresentationNameComparator (implements java.util.Comparator<T>)
  • com.articulate.sigma.Edit
  • com.articulate.sigma.EditGUI
  • com.articulate.sigma.Editor
  • com.articulate.sigma.EProver
  • com.articulate.sigma.FactoryUtil
  • com.articulate.sigma.Formula (implements java.lang.Comparable<T>, java.io.Serializable)
  • com.articulate.sigma.FormulaPreprocessor
  • com.articulate.sigma.FormulaUtil
  • com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
  • com.articulate.sigma.Graph
  • com.articulate.sigma.Hotel
  • com.articulate.sigma.Hotel.JSONElement
  • com.articulate.sigma.HTMLformatter
  • com.articulate.sigma.InferenceEngine
    • com.articulate.sigma.SInE
    • com.articulate.sigma.Vampire
  • com.articulate.sigma.InferenceEngine.EngineFactory
    • com.articulate.sigma.SInE.SInEFactory
    • com.articulate.sigma.Vampire.VampireFactory
  • com.articulate.sigma.InferenceTestSuite
  • java.io.InputStream (implements java.io.Closeable)
    • java.io.FilterInputStream
      • com.articulate.sigma.Base64.InputStream
  • com.articulate.sigma.KB (implements java.io.Serializable)
  • com.articulate.sigma.KBcache (implements java.io.Serializable)
  • com.articulate.sigma.KBmanager (implements java.io.Serializable)
  • com.articulate.sigma.KButilities
  • com.articulate.sigma.KIF
  • com.articulate.sigma.KIFplus
  • com.articulate.sigma.nlg.LanguageFormatter
  • com.articulate.sigma.nlg.LanguageFormatter.RelationArgumentAnnotation
  • com.articulate.sigma.nlg.LanguageFormatter.VariableAnnotation
  • com.articulate.sigma.nlg.LanguageFormatterStack
  • com.articulate.sigma.Login
  • com.articulate.sigma.Mapping
  • com.articulate.sigma.utils.MBoxReader
  • com.articulate.sigma.mlpipeline.MLpipeline
  • com.articulate.sigma.mlpipeline.MLpipeline.Data
  • com.articulate.sigma.wordNet.MultiWords (implements java.io.Serializable)
  • com.articulate.sigma.NER
  • com.articulate.sigma.nlg.NLGStringUtils
  • com.articulate.sigma.nlg.NLGUtils (implements java.io.Serializable)
  • com.articulate.sigma.nlg.Noun
  • com.articulate.sigma.wordNet.OMWordnet (implements java.io.Serializable)
  • java.io.OutputStream (implements java.io.Closeable, java.io.Flushable)
    • java.io.FilterOutputStream
      • com.articulate.sigma.Base64.OutputStream
  • com.articulate.sigma.trans.OWLtranslator
  • com.articulate.delphi.Pair (implements java.lang.Comparable<T>)
  • com.articulate.sigma.Pair (implements java.util.Comparator<T>)
  • com.articulate.sigma.PasswordService
  • com.articulate.sigma.PredVarInst
  • com.articulate.sigma.Prenexifier
  • com.articulate.sigma.nlg.Preposition
  • com.articulate.sigma.utils.ProgressPrinter
  • com.articulate.delphi.Project
  • com.articulate.sigma.Prolog
  • com.articulate.sigma.ProofProcessor
  • com.articulate.sigma.ProofStep
  • com.articulate.sigma.RowVars
  • com.articulate.sigma.nlg.Sentence
  • com.articulate.sigma.SetUtil
  • com.articulate.sigma.SigmaCheck
  • com.articulate.sigma.SimpleDOMParser
  • com.articulate.sigma.SimpleElement
  • com.articulate.sigma.trans.SNARKtrans
  • com.articulate.sigma.nlg.StackElement
  • com.articulate.sigma.nlg.StackElement.FormulaArg
  • com.articulate.sigma.StreamTokenizer_s
  • com.articulate.sigma.StringUtil
  • com.articulate.sigma.trans.SUMOformulaToTPTPformula
  • com.articulate.sigma.trans.SUMOKBtoTPTPKB
  • com.articulate.sigma.nlg.SumoProcess
  • com.articulate.sigma.nlg.SumoProcessCollector
  • com.articulate.sigma.nlg.SumoProcessEntityProperty (implements java.lang.Comparable<T>)
  • com.articulate.sigma.nlg.SVOElement
  • com.articulate.sigma.nlg.SVOGrammar
  • com.articulate.delphi.Table
  • com.articulate.delphi.TableAverage
  • com.articulate.sigma.TaxoModel
  • com.articulate.sigma.TaxoNode
  • com.articulate.sigma.trans.THF
  • com.articulate.sigma.trans.TPTP2SUMO
  • com.articulate.sigma.trans.TPTP3ProofProcessor
  • com.articulate.sigma.trans.TPTPutil
  • com.articulate.sigma.User
  • com.articulate.sigma.VariableMapping
  • com.articulate.sigma.nlg.VerbPropertiesSimpleImpl (implements com.articulate.sigma.nlg.VerbProperties)
  • com.articulate.sigma.wordNet.WNdiagnostics
  • com.articulate.sigma.wordNet.WordNet (implements java.io.Serializable)
  • com.articulate.sigma.wordNet.WordNetUtilities
  • com.articulate.sigma.wordNet.WSD

Interface Hierarchy

• com.articulate.sigma.DisplayFilter
• com.articulate.sigma.DocGen.DisplayFilter
• com.articulate.sigma.nlg.VerbProperties

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • com.articulate.sigma.nlg.CaseRole
    • com.articulate.sigma.nlg.StackElement.StackState
    • com.articulate.sigma.nlg.SVOElement.SVOGrammarPosition
    • com.articulate.sigma.nlg.SVOElement.NUMBER
    • com.articulate.sigma.nlg.VerbProperties.Polarity
    • com.articulate.sigma.CCheckManager.CCheckStatus