Hierarchy For Package com.articulate.sigma.trans

Package Hierarchies:

• All Packages

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
  • com.articulate.sigma.trans.CWAUNA
  • com.articulate.sigma.trans.DB2KIF
  • com.articulate.sigma.trans.KIF2DB
  • com.articulate.sigma.trans.KIF2SQL
  • com.articulate.sigma.trans.Modals
  • com.articulate.sigma.trans.OWLtranslator
  • com.articulate.sigma.trans.SNARKtrans
  • com.articulate.sigma.trans.SUMOformulaToTPTPformula
  • com.articulate.sigma.trans.SUMOKBtoTPTPKB
    • com.articulate.sigma.trans.SUMOKBtoTFAKB
  • com.articulate.sigma.trans.SUMOtoTFAform
  • com.articulate.sigma.trans.THF
  • com.articulate.sigma.trans.THFnew
  • com.articulate.sigma.trans.THFutil
  • com.articulate.sigma.trans.TPTP2SUMO
  • com.articulate.sigma.trans.TPTP3ProofProcessor
  • com.articulate.sigma.trans.TPTPGenerationManager
  • com.articulate.sigma.trans.TPTPutil

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.trans.TPTP3ProofProcessor.GraphFormulaFormat