Hierarchy For All Packages

Package Hierarchies:

• com.articulate.sigma,
• com.articulate.sigma.dataProc,
• com.articulate.sigma.mlpipeline,
• com.articulate.sigma.nlg,
• com.articulate.sigma.parsing,
• com.articulate.sigma.tp,
• com.articulate.sigma.trans,
• com.articulate.sigma.VerbNet,
• 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
  • org.antlr.v4.runtime.tree.AbstractParseTreeVisitor<T> (implements org.antlr.v4.runtime.tree.ParseTreeVisitor<T>)
    • com.articulate.sigma.parsing.SuokifVisitor
  • com.articulate.sigma.dataProc.Antenna
  • com.articulate.sigma.tp.ATPException.Builder
  • com.articulate.sigma.tp.ATPResult
  • com.articulate.sigma.tp.ATPResult.Builder
  • 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.sigma.CELT
  • com.articulate.sigma.CELTTestSuite
  • com.articulate.sigma.Clausifier
  • com.articulate.sigma.ClientHttpRequest
  • com.articulate.sigma.CLIMapParser
  • com.articulate.sigma.trans.CWAUNA
  • com.articulate.sigma.DB
  • com.articulate.sigma.trans.DB2KIF
  • com.articulate.sigma.Derivation (implements java.io.Serializable)
  • com.articulate.sigma.dataProc.Diagnosis
  • com.articulate.sigma.Diagnostics
  • com.articulate.sigma.DocGen
  • com.articulate.sigma.DocGen.PresentationNameComparator (implements java.util.Comparator<T>)
  • com.articulate.sigma.tp.ECNF
  • com.articulate.sigma.Edit
  • com.articulate.sigma.EditGUI
  • com.articulate.sigma.Editor
  • com.articulate.sigma.EditorWorkerQueue
  • com.articulate.sigma.tp.EProver
  • com.articulate.sigma.ErrRec
  • com.articulate.sigma.FactoryUtil
  • com.articulate.sigma.Formula (implements java.lang.Comparable<T>, java.io.Serializable)
    • com.articulate.sigma.parsing.FormulaAST
  • com.articulate.sigma.FormulaAST
  • com.articulate.sigma.parsing.FormulaAST.ArgStruct
  • com.articulate.sigma.parsing.FormulaAST.RowStruct
  • com.articulate.sigma.FormulaAST.Term
    • com.articulate.sigma.FormulaAST.Constant
      • com.articulate.sigma.FormulaAST.Logop
      • com.articulate.sigma.FormulaAST.NumberTerm
      • com.articulate.sigma.FormulaAST.StringTerm
      • com.articulate.sigma.FormulaAST.UserTerm
    • com.articulate.sigma.FormulaAST.ListTerm
    • com.articulate.sigma.FormulaAST.Variable
      • com.articulate.sigma.FormulaAST.RegVar
      • com.articulate.sigma.FormulaAST.RowVar
  • com.articulate.sigma.FormulaPreprocessor
  • com.articulate.sigma.FormulaUtil
  • com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
  • com.articulate.sigma.VerbNet.Frame
  • com.articulate.sigma.VerbNet.Frame.Tuple
  • javax.servlet.GenericServlet (implements java.io.Serializable, javax.servlet.Servlet, javax.servlet.ServletConfig)
    • javax.servlet.http.HttpServlet
      • com.articulate.sigma.EditorServlet
  • com.articulate.sigma.tp.GenPropFormulas
  • com.articulate.sigma.Graph
  • com.articulate.sigma.dataProc.Hotel
  • com.articulate.sigma.dataProc.Hotel.JSONElement
  • com.articulate.sigma.HTMLformatter
  • com.articulate.sigma.InferenceEngine
    • com.articulate.sigma.SInE
  • com.articulate.sigma.InferenceEngine.EngineFactory
    • com.articulate.sigma.SInE.SInEFactory
  • com.articulate.sigma.InferenceTestSuite
  • com.articulate.sigma.InferenceTestSuite.InfTestData
  • com.articulate.sigma.InferenceTestSuite.OneResult
  • com.articulate.sigma.dataProc.Infrastructure
  • com.articulate.sigma.dataProc.Infrastructure.Category
  • com.articulate.sigma.dataProc.Infrastructure.Mappings
  • com.articulate.sigma.dataProc.Infrastructure.Product
  • 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 (implements javax.servlet.ServletContextListener)
  • com.articulate.sigma.KButilities.GraphArc (implements java.lang.Comparable<T>, org.json.simple.JSONAware)
  • com.articulate.sigma.KIF
  • com.articulate.sigma.trans.KIF2DB
  • com.articulate.sigma.trans.KIF2SQL
  • com.articulate.sigma.KIFAST
  • com.articulate.sigma.KifFileChecker
  • com.articulate.sigma.KIFplus
  • com.articulate.sigma.nlg.LanguageFormatter
  • com.articulate.sigma.nlg.LanguageFormatter.Keywords
  • com.articulate.sigma.nlg.LanguageFormatter.RelationArgumentAnnotation (implements edu.stanford.nlp.ling.CoreAnnotation<V>)
  • com.articulate.sigma.nlg.LanguageFormatter.VariableAnnotation (implements edu.stanford.nlp.ling.CoreAnnotation<V>)
  • com.articulate.sigma.nlg.LanguageFormatterStack
  • com.articulate.sigma.tp.LEO
  • com.articulate.sigma.Login
  • com.articulate.sigma.Mapping
  • com.articulate.sigma.mlpipeline.MLpipeline
  • com.articulate.sigma.mlpipeline.MLpipeline.Data
  • com.articulate.sigma.trans.Modals
  • com.articulate.sigma.wordNet.MultiWords (implements java.io.Serializable)
  • com.articulate.sigma.NER
  • com.articulate.sigma.nlg.NLGReadability
  • com.articulate.sigma.nlg.NLGStringUtils
  • com.articulate.sigma.nlg.NLGUtils (implements java.io.Serializable)
  • com.articulate.sigma.nlg.Noun
  • com.articulate.sigma.nlg.OllamaClient
  • com.articulate.sigma.wordNet.OMWordnet (implements java.io.Serializable)
  • com.articulate.sigma.trans.OWLtranslator
  • com.articulate.sigma.PasswordService (implements javax.servlet.ServletContextListener)
  • com.articulate.sigma.parsing.PredVarInst
  • com.articulate.sigma.PredVarInst
  • com.articulate.sigma.Prenexifier
  • com.articulate.sigma.nlg.Preposition
  • com.articulate.sigma.parsing.Preprocessor
  • com.articulate.sigma.Prolog
  • com.articulate.sigma.ProofProcessor
  • com.articulate.sigma.ProofStep
  • com.articulate.sigma.PythonAPI
  • com.articulate.sigma.parsing.RowVar
  • com.articulate.sigma.RowVars
  • com.articulate.sigma.nlg.Sentence
  • com.articulate.sigma.SessionTimeoutFilter (implements javax.servlet.Filter)
  • com.articulate.sigma.SigmaCheck
  • com.articulate.sigma.SimpleDOMParser
  • com.articulate.sigma.SimpleElement
  • com.articulate.sigma.trans.SNARKtrans
  • com.articulate.sigma.parsing.Sortals
  • com.articulate.sigma.nlg.StackElement
  • com.articulate.sigma.nlg.StackElement.FormulaArg
  • com.articulate.sigma.StreamTokenizer_s
  • com.articulate.sigma.trans.SUMOformulaToTPTPformula
  • com.articulate.sigma.trans.SUMOKBtoTPTPKB
    • com.articulate.sigma.trans.SUMOKBtoTFAKB
  • com.articulate.sigma.nlg.SumoProcess
  • com.articulate.sigma.nlg.SumoProcessCollector
  • com.articulate.sigma.nlg.SumoProcessEntityProperty (implements java.lang.Comparable<T>)
  • com.articulate.sigma.trans.SUMOtoTFAform
  • com.articulate.sigma.parsing.SuokifApp
  • com.articulate.sigma.nlg.SVOElement
  • com.articulate.sigma.nlg.SVOGrammar
  • com.articulate.sigma.tp.SZSExtractor
  • com.articulate.sigma.TaxoModel
  • com.articulate.sigma.TaxoNode
  • com.articulate.sigma.mlpipeline.TestSQUAD
  • com.articulate.sigma.trans.THF
  • com.articulate.sigma.trans.THFnew
  • com.articulate.sigma.trans.THFutil
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • com.articulate.sigma.tp.ATPException
          • com.articulate.sigma.tp.ArityException
          • com.articulate.sigma.tp.ExecutableNotFoundException
          • com.articulate.sigma.tp.FormulaTranslationException
          • com.articulate.sigma.tp.ProverCrashedException
          • com.articulate.sigma.tp.ProverTimeoutException
  • com.articulate.sigma.trans.TPTP2SUMO
  • com.articulate.sigma.trans.TPTP3ProofProcessor
  • com.articulate.sigma.TPTPFileChecker
  • com.articulate.sigma.trans.TPTPGenerationManager
  • com.articulate.sigma.trans.TPTPutil
  • com.articulate.sigma.parsing.TPTPWriter
  • com.articulate.sigma.User
  • com.articulate.sigma.tp.Vampire
  • com.articulate.sigma.VariableMapping
  • com.articulate.sigma.parsing.VarTypes
  • com.articulate.sigma.VerbNet.Verb
  • com.articulate.sigma.VerbNet.Verb.Member
  • com.articulate.sigma.VerbNet.Verb.Role
  • com.articulate.sigma.VerbNet.VerbNet
  • com.articulate.sigma.nlg.VerbPropertiesSimpleImpl (implements com.articulate.sigma.nlg.VerbProperties)
  • com.articulate.sigma.dataProc.WikiMuscle
  • com.articulate.sigma.dataProc.WikiMuscle.Record
  • 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 Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • com.articulate.sigma.nlg.CaseRole
    • com.articulate.sigma.CCheckManager.CCheckStatus
    • com.articulate.sigma.tp.GenPropFormulas.SZSonto
    • com.articulate.sigma.KBmanager.Prover
    • com.articulate.sigma.nlg.StackElement.StackState
    • com.articulate.sigma.nlg.SVOElement.NUMBER
    • com.articulate.sigma.nlg.SVOElement.SVOGrammarPosition
    • com.articulate.sigma.tp.SZSStatus
    • com.articulate.sigma.tp.SZSStatus.Category
    • com.articulate.sigma.trans.TPTP3ProofProcessor.GraphFormulaFormat
    • com.articulate.sigma.tp.Vampire.Logic
    • com.articulate.sigma.tp.Vampire.ModeType
    • com.articulate.sigma.nlg.VerbProperties.Polarity