Hierarchy For Package uk.ac.man.cs.img.owl.io.tptp

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class org.semanticweb.owl.model.helper.OWLObjectVisitorAdapter (implements org.semanticweb.owl.model.OWLObjectVisitor)
    • class uk.ac.man.cs.img.owl.io.tptp.AxiomRenderer
    • class uk.ac.man.cs.img.owl.io.tptp.RenderingVisitor
  • class uk.ac.man.cs.img.owl.io.tptp.Renderer (implements org.semanticweb.owl.io.Renderer, org.semanticweb.owl.io.ShortFormProvider)
  • class java.lang.Throwable (implements java.io.Serializable)
    • class java.lang.Exception
      • class org.semanticweb.owl.model.OWLException
        • class org.semanticweb.owl.io.RendererException
          • class uk.ac.man.cs.img.owl.io.tptp.Renderer.BigCardinalityException