Hierarchy For All Packages

Package Hierarchies:

• com.articulate.sigma,
• com.articulate.sigma.nlg,
• com.articulate.sigma.nlp,
• com.articulate.sigma.nlp.constants,
• com.articulate.sigma.nlp.pipeline,
• com.articulate.sigma.semRewrite,
• com.articulate.sigma.semRewrite.datesandnumber,
• com.articulate.sigma.semRewrite.substitutor,
• com.articulate.sigma.utils

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.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>)
  • com.articulate.sigma.Base64
  • com.articulate.sigma.BasicXMLelement
  • com.articulate.sigma.BasicXMLparser
  • com.articulate.sigma.CCheck (implements java.lang.Runnable)
  • com.articulate.sigma.CELT
  • com.articulate.sigma.CELTTestSuite
  • com.articulate.sigma.semRewrite.Clause
  • com.articulate.sigma.Clausifier
  • com.articulate.sigma.semRewrite.Clausifier
  • com.articulate.sigma.ClientHttpRequest
  • com.articulate.sigma.semRewrite.CNF
  • com.articulate.sigma.nlp.CorefSubstitutor
  • com.articulate.sigma.semRewrite.datesandnumber.DateAndNumbersGeneration
  • com.articulate.sigma.semRewrite.datesandnumber.DateInfo
  • com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
  • com.articulate.sigma.DB
  • com.articulate.sigma.DependencyConverter
  • com.articulate.sigma.DependencyConverter.Node
  • com.articulate.sigma.Diagnostics
  • com.articulate.sigma.DocGen
  • com.articulate.sigma.DocGen.PresentationNameComparator (implements java.util.Comparator<T>)
  • com.articulate.sigma.Document
  • com.articulate.sigma.Edit
  • com.articulate.sigma.EditGUI
  • com.articulate.sigma.Editor
  • com.articulate.sigma.semRewrite.EntityTypeParser
  • com.articulate.sigma.EProver
  • com.articulate.sigma.FactoryUtil
  • com.articulate.sigma.semRewrite.datesandnumber.FlagUtilities
  • com.articulate.sigma.Formula (implements java.lang.Comparable<T>)
  • 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.semRewrite.Interpreter
  • com.articulate.sigma.semRewrite.datesandnumber.InterpretNumerics
  • com.articulate.sigma.KB
  • com.articulate.sigma.KBcache
  • com.articulate.sigma.KBmanager
  • com.articulate.sigma.KButilities
  • com.articulate.sigma.KIF
  • com.articulate.sigma.KIFplus
  • com.articulate.sigma.nlp.KMeans
  • com.articulate.sigma.nlp.KMeansVec
  • com.articulate.sigma.nlp.constants.LangLib
  • com.articulate.sigma.nlg.LanguageFormatter
  • com.articulate.sigma.nlg.LanguageFormatterStack
  • com.articulate.sigma.semRewrite.Lexer
  • com.articulate.sigma.semRewrite.LHS
  • com.articulate.sigma.semRewrite.Literal
  • com.articulate.sigma.Login
  • com.articulate.sigma.Mapping
  • com.articulate.sigma.NER
  • com.articulate.sigma.nlg.NLGStringUtils
  • com.articulate.sigma.nlg.NLGUtils
  • com.articulate.sigma.nlg.Noun
  • com.articulate.sigma.OMWordnet
  • java.io.OutputStream (implements java.io.Closeable, java.io.Flushable)
    • java.io.FilterOutputStream
      • com.articulate.sigma.Base64.OutputStream
  • com.articulate.sigma.OWLtranslator
  • com.articulate.sigma.PasswordService
  • com.articulate.sigma.nlp.pipeline.Pipeline
  • com.articulate.sigma.PredVarInst
  • com.articulate.sigma.nlg.Preposition
  • com.articulate.sigma.semRewrite.Procedures
  • com.articulate.sigma.utils.ProgressPrinter
  • com.articulate.sigma.Prolog
  • com.articulate.sigma.ProofProcessor
  • com.articulate.sigma.ProofStep
  • com.articulate.sigma.semRewrite.RHS
  • com.articulate.sigma.RowVars
  • com.articulate.sigma.semRewrite.Rule
  • com.articulate.sigma.semRewrite.RuleSet
    • com.articulate.sigma.semRewrite.RewriteRuleUtil
  • com.articulate.sigma.semRewrite.SemRewriteRuleCheck
  • com.articulate.sigma.nlg.Sentence
  • com.articulate.sigma.nlp.pipeline.SentenceUtil
  • com.articulate.sigma.SetUtil
  • com.articulate.sigma.SigmaCheck
  • com.articulate.sigma.SimpleDOMParser
  • com.articulate.sigma.SimpleElement
  • com.articulate.sigma.semRewrite.substitutor.SimpleSubstitutorStorage (implements com.articulate.sigma.semRewrite.substitutor.ClauseSubstitutor)
    • com.articulate.sigma.semRewrite.substitutor.IdiomSubstitutor
    • com.articulate.sigma.semRewrite.substitutor.NounSubstitutor
  • com.articulate.sigma.nlg.StackElement
  • com.articulate.sigma.nlg.StackElement.FormulaArg
  • com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor
  • com.articulate.sigma.StreamTokenizer_s
  • com.articulate.sigma.StringUtil
  • com.articulate.sigma.semRewrite.substitutor.SubstitutionUtil
  • com.articulate.sigma.semRewrite.substitutor.SubstitutorsUnion (implements com.articulate.sigma.semRewrite.substitutor.ClauseSubstitutor)
  • com.articulate.sigma.SUMOformulaToTPTPformula
  • com.articulate.sigma.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.sigma.TaxoModel
  • com.articulate.sigma.TaxoNode
  • com.articulate.sigma.nlp.TextFileUtil
  • com.articulate.sigma.nlp.TFIDF
  • com.articulate.sigma.nlp.TFIDFUtil
  • com.articulate.sigma.THF
  • com.articulate.sigma.semRewrite.datesandnumber.TimeInfo
  • com.articulate.sigma.semRewrite.datesandnumber.Tokens
  • com.articulate.sigma.TPTP2SUMO
  • com.articulate.sigma.TPTP3ProofProcessor
  • com.articulate.sigma.TPTPutil
  • com.articulate.sigma.User
  • com.articulate.sigma.semRewrite.datesandnumber.Utilities
  • com.articulate.sigma.nlg.VerbPropertiesSimpleImpl (implements com.articulate.sigma.nlg.VerbProperties)
  • com.articulate.sigma.WNdiagnostics
  • com.articulate.sigma.WordNet
  • com.articulate.sigma.WordNetUtilities
  • com.articulate.sigma.WSD

Interface Hierarchy

• com.articulate.sigma.semRewrite.substitutor.ClauseSubstitutor
• 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.CCheckManager.CCheckStatus
    • com.articulate.sigma.nlg.SVOElement.SVOGrammarPosition
    • com.articulate.sigma.nlg.SVOElement.NUMBER
    • com.articulate.sigma.nlg.CaseRole
    • com.articulate.sigma.nlg.StackElement.StackState
    • com.articulate.sigma.nlg.VerbProperties.Polarity
    • com.articulate.sigma.semRewrite.EntityType
    • com.articulate.sigma.semRewrite.Rule.RuleOp
    • com.articulate.sigma.semRewrite.LHS.LHSop