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.OWLtranslator
  • com.articulate.sigma.trans.SNARKtrans
  • com.articulate.sigma.trans.SUMOformulaToTPTPformula
  • com.articulate.sigma.trans.SUMOKBtoTPTPKB
  • com.articulate.sigma.trans.THF
  • com.articulate.sigma.trans.TPTP2SUMO
  • com.articulate.sigma.trans.TPTP3ProofProcessor
  • com.articulate.sigma.trans.TPTPutil