Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

WonderWeb