Hierarchy For All Packages

Package Hierarchies:

• ClientHttpRequest,
• com.articulate.delphi,
• 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,
• com.articulate.sigma.wordNet,
• edu.dlsu.SUMOs.main,
• edu.dlsu.SUMOs.obj,
• edu.dlsu.SUMOs.util,
• jpl,
• jpl.fli,
• Password,
• tptp_parser,
• TPTPWorld

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractList<E> (implements java.util.List<E>)
      • java.util.ArrayList<E> (implements java.lang.Cloneable, java.util.List<E>, java.util.RandomAccess, java.io.Serializable)
        • com.articulate.sigma.Document
    • 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
  • TPTPWorld.AnswerExtractor
  • TPTPWorld.AnswerFinder
  • com.articulate.sigma.semRewrite.Arc
  • TPTPWorld.ATPSystem
  • com.articulate.sigma.AVPair (implements java.lang.Comparable<T>)
  • com.articulate.sigma.Base64
  • com.articulate.sigma.BasicXMLelement
  • com.articulate.sigma.BasicXMLparser
  • TPTPWorld.Binding
  • com.articulate.sigma.CCheck (implements java.lang.Runnable)
  • com.articulate.delphi.Cell
  • com.articulate.sigma.CELT
  • com.articulate.sigma.CELTTestSuite
  • antlr.CharScanner (implements antlr.TokenStream)
    • tptp_parser.TptpLexer (implements antlr.TokenStream, tptp_parser.TptpTokenTypes)
  • com.articulate.sigma.semRewrite.Clause
  • com.articulate.sigma.Clausifier
  • com.articulate.sigma.semRewrite.Clausifier
  • ClientHttpRequest.ClientHttpRequest
  • com.articulate.sigma.ClientHttpRequest
  • TPTPWorld.ClientHttpRequest
  • com.articulate.sigma.semRewrite.CNF
  • com.articulate.sigma.semRewrite.CommonCNFUtil
  • com.articulate.sigma.semRewrite.CommonCNFUtil.Pair<F,S>
  • com.articulate.sigma.semRewrite.CommonCNFUtil.QAPair
  • com.articulate.sigma.semRewrite.substitutor.CoreLabelSequence
  • com.articulate.sigma.semRewrite.datesandnumber.DateAndNumbersGeneration
  • com.articulate.sigma.semRewrite.datesandnumber.DateInfo
  • com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
  • edu.dlsu.SUMOs.util.DateUtils
  • com.articulate.sigma.DB
  • com.articulate.delphi.Delphi
  • com.articulate.sigma.DependencyConverter
  • com.articulate.sigma.DependencyConverter.Node
  • com.articulate.sigma.Diagnostics
  • com.articulate.delphi.Distribution
  • com.articulate.sigma.DocGen
  • com.articulate.sigma.DocGen.PresentationNameComparator (implements java.util.Comparator<T>)
  • jpl.fli.DoubleHolder
  • 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.nlp.GaussElim
  • com.articulate.sigma.nlp.GetOpt
  • com.articulate.sigma.Graph
  • com.articulate.sigma.semRewrite.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
  • edu.dlsu.SUMOs.obj.Input
  • java.io.InputStream (implements java.io.Closeable)
    • java.io.FilterInputStream
      • com.articulate.sigma.Base64.InputStream
  • edu.dlsu.SUMOs.obj.Instance
  • TPTPWorld.InterfaceTPTP
  • com.articulate.sigma.semRewrite.Interpreter
  • com.articulate.sigma.semRewrite.datesandnumber.InterpretNumerics
  • jpl.fli.IntHolder
  • jpl.JPL
  • jpl.JPLUtil
  • 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
  • jpl.fli.LongHolder
    • jpl.fli.atom_t
    • jpl.fli.fid_t
    • jpl.fli.functor_t
    • jpl.fli.PointerHolder
      • jpl.fli.module_t
      • jpl.fli.predicate_t
    • jpl.fli.qid_t
    • jpl.fli.term_t
  • TPTPWorld.LooksDifferent
  • com.articulate.sigma.Mapping
  • com.articulate.sigma.wordNet.MultiWords
  • com.articulate.sigma.nlp.NaiveBayes
  • com.articulate.sigma.NER
  • com.articulate.sigma.nlg.NLGStringUtils
  • com.articulate.sigma.nlg.NLGUtils
  • com.articulate.sigma.semRewrite.Node
  • 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.delphi.Pair (implements java.lang.Comparable<T>)
  • antlr.Parser
    • antlr.LLkParser
      • tptp_parser.TptpParser (implements tptp_parser.TptpTokenTypes)
  • Password.Password
  • com.articulate.delphi.PasswordService
  • com.articulate.sigma.PasswordService
  • edu.dlsu.SUMOs.main.PictureEditor
  • 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.delphi.Project
  • com.articulate.sigma.Prolog
  • jpl.fli.Prolog
  • com.articulate.sigma.ProofProcessor
  • com.articulate.sigma.ProofStep
  • TPTPWorld.ProofSummary
  • com.articulate.sigma.semRewrite.QAOutputGenerator
  • com.articulate.sigma.semRewrite.QAOutputGenerator.Record
  • jpl.Query (implements java.util.Enumeration<E>)
  • edu.dlsu.SUMOs.util.ReadWriteTextFile
  • com.articulate.sigma.semRewrite.RHS
  • com.articulate.sigma.RowVars
  • com.articulate.sigma.semRewrite.Rule
  • edu.dlsu.SUMOs.obj.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.SentenceBuilder
  • com.articulate.sigma.nlp.pipeline.SentenceUtil
  • com.articulate.sigma.SetUtil
  • com.articulate.sigma.SigmaCheck
  • SigmaStatusCheck
  • com.articulate.sigma.nlp.SimFlood
  • 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.CorefSubstitutor
    • com.articulate.sigma.semRewrite.substitutor.IdiomSubstitutor
    • com.articulate.sigma.semRewrite.substitutor.NounSubstitutor
  • tptp_parser.SimpleTptpParserOutput (implements tptp_parser.TptpParserOutput)
  • tptp_parser.SimpleTptpParserOutput.Annotations (implements tptp_parser.TptpParserOutput.Annotations)
  • tptp_parser.SimpleTptpParserOutput.Clause (implements tptp_parser.TptpParserOutput.CnfFormula)
  • tptp_parser.SimpleTptpParserOutput.Formula (implements tptp_parser.TptpParserOutput.FofFormula)
    • tptp_parser.SimpleTptpParserOutput.Formula.Atomic (implements tptp_parser.TptpParserOutput.AtomicFormula)
    • tptp_parser.SimpleTptpParserOutput.Formula.Binary
    • tptp_parser.SimpleTptpParserOutput.Formula.Negation
    • tptp_parser.SimpleTptpParserOutput.Formula.Quantified
  • tptp_parser.SimpleTptpParserOutput.GeneralTerm (implements tptp_parser.TptpParserOutput.GeneralTerm)
  • tptp_parser.SimpleTptpParserOutput.InfoItem (implements tptp_parser.TptpParserOutput.InfoItem)
    • tptp_parser.SimpleTptpParserOutput.InfoItem.AssumptionRecord
    • tptp_parser.SimpleTptpParserOutput.InfoItem.Description
    • tptp_parser.SimpleTptpParserOutput.InfoItem.GeneralFunction
    • tptp_parser.SimpleTptpParserOutput.InfoItem.InferenceRule
    • tptp_parser.SimpleTptpParserOutput.InfoItem.InferenceStatus
    • tptp_parser.SimpleTptpParserOutput.InfoItem.IQuote
    • tptp_parser.SimpleTptpParserOutput.InfoItem.Refutation
  • tptp_parser.SimpleTptpParserOutput.Literal (implements tptp_parser.TptpParserOutput.Literal)
  • tptp_parser.SimpleTptpParserOutput.ParentInfo (implements tptp_parser.TptpParserOutput.ParentInfo)
  • tptp_parser.SimpleTptpParserOutput.Source (implements tptp_parser.TptpParserOutput.Source)
    • tptp_parser.SimpleTptpParserOutput.Source.Creator
    • tptp_parser.SimpleTptpParserOutput.Source.File
    • tptp_parser.SimpleTptpParserOutput.Source.Inference
    • tptp_parser.SimpleTptpParserOutput.Source.Internal
    • tptp_parser.SimpleTptpParserOutput.Source.ListOfSources
    • tptp_parser.SimpleTptpParserOutput.Source.Name
    • tptp_parser.SimpleTptpParserOutput.Source.Theory
  • tptp_parser.SimpleTptpParserOutput.Symbol
  • tptp_parser.SimpleTptpParserOutput.Term (implements tptp_parser.TptpParserOutput.Term)
  • tptp_parser.SimpleTptpParserOutput.ThfFormula (implements tptp_parser.TptpParserOutput.ThfFormula)
    • tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfAtomic (implements tptp_parser.TptpParserOutput.ThfAtomicFormula)
    • tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfBinary
    • tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfQuantified
    • tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfUnary
  • tptp_parser.SimpleTptpParserOutput.TopLevelItem (implements tptp_parser.TptpParserOutput.TptpInput)
    • tptp_parser.SimpleTptpParserOutput.AnnotatedClause
    • tptp_parser.SimpleTptpParserOutput.AnnotatedFormula
    • tptp_parser.SimpleTptpParserOutput.AnnotatedThfFormula
    • tptp_parser.SimpleTptpParserOutput.IncludeDirective
  • com.articulate.sigma.nlg.StackElement
  • com.articulate.sigma.nlg.StackElement.FormulaArg
  • com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor
  • com.articulate.sigma.StreamTokenizer_s
  • jpl.fli.StringHolder
  • 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.nlp.SVM
  • com.articulate.sigma.nlg.SVOElement
  • com.articulate.sigma.nlg.SVOGrammar
  • jpl.SWIUtil
  • TPTPWorld.SystemInfoParser
  • TPTPWorld.SystemOnTPTP
  • com.articulate.delphi.Table
  • com.articulate.delphi.TableAverage
  • com.articulate.sigma.TaxoModel
  • com.articulate.sigma.TaxoNode
  • jpl.Term
    • jpl.Atom
      • jpl.List.Nil
    • jpl.Compound
      • jpl.List
      • jpl.Tuple
        • jpl.Tuple.Pair
    • jpl.Float_JPL
    • jpl.Integer_JPL
    • jpl.Long_JPL
    • jpl.String_JPL
    • jpl.Variable
  • com.articulate.sigma.nlp.TextFileUtil
  • com.articulate.sigma.nlp.TFIDF
  • com.articulate.sigma.nlp.TFIDFUtil
  • com.articulate.sigma.THF
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • jpl.JPLException
          • jpl.PrologException
          • jpl.QueryInProgressException
  • com.articulate.sigma.semRewrite.datesandnumber.TimeInfo
  • com.articulate.sigma.semRewrite.datesandnumber.Tokens
  • com.articulate.sigma.TPTP2SUMO
  • com.articulate.sigma.TPTP3ProofProcessor
  • TPTPWorld.TPTPFormula
  • TPTPWorld.TPTPParser
  • TPTPWorld.TPTPParser.Symbol
  • TPTPWorld.TPTPParser.SymbolComparator (implements java.util.Comparator<T>)
  • com.articulate.sigma.TPTPutil
  • com.articulate.delphi.User
  • 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.WNdiagnostics
  • com.articulate.sigma.nlp.WNsim
  • com.articulate.sigma.WordNet
  • com.articulate.sigma.WordNetUtilities
  • com.articulate.sigma.WSD
  • edu.dlsu.SUMOs.util.Xml
  • edu.dlsu.SUMOs.main.XmlParser

Interface Hierarchy

• com.articulate.sigma.semRewrite.substitutor.ClauseSubstitutor
• com.articulate.sigma.DisplayFilter
• com.articulate.sigma.DocGen.DisplayFilter
• tptp_parser.TptpParserOutput
• tptp_parser.TptpParserOutput.Annotations
• tptp_parser.TptpParserOutput.AtomicFormula
• tptp_parser.TptpParserOutput.CnfFormula
• tptp_parser.TptpParserOutput.FofFormula
• tptp_parser.TptpParserOutput.GeneralTerm
• tptp_parser.TptpParserOutput.InfoItem
• tptp_parser.TptpParserOutput.Literal
• tptp_parser.TptpParserOutput.ParentInfo
• tptp_parser.TptpParserOutput.Source
• tptp_parser.TptpParserOutput.Term
• tptp_parser.TptpParserOutput.ThfAtomicFormula
• tptp_parser.TptpParserOutput.ThfFormula
• tptp_parser.TptpParserOutput.TptpInput
• tptp_parser.TptpTokenTypes
• 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.VerbProperties.Polarity
    • com.articulate.sigma.nlg.SVOElement.SVOGrammarPosition
    • com.articulate.sigma.nlg.SVOElement.NUMBER
    • com.articulate.sigma.nlg.StackElement.StackState
    • com.articulate.sigma.nlg.CaseRole
    • com.articulate.sigma.semRewrite.Rule.RuleOp
    • com.articulate.sigma.semRewrite.LHS.LHSop
    • com.articulate.sigma.semRewrite.EntityType
    • tptp_parser.TptpParserOutput.TptpInput.Kind
    • tptp_parser.TptpParserOutput.UnaryConnective
    • tptp_parser.TptpParserOutput.BinaryConnective
    • tptp_parser.TptpParserOutput.Quantifier
    • tptp_parser.TptpParserOutput.FormulaRole
    • tptp_parser.TptpParserOutput.IntroType
    • tptp_parser.TptpParserOutput.StatusValue
    • tptp_parser.SimpleTptpParserOutput.ThfFormula.Kind
    • tptp_parser.SimpleTptpParserOutput.Formula.Kind
    • tptp_parser.SimpleTptpParserOutput.Source.Kind
    • tptp_parser.SimpleTptpParserOutput.InfoItem.Kind