pyhornedowl.profile.UseOfNonSimplePropertyInFunctionalPropertyAxiom
===================================================================

.. currentmodule:: pyhornedowl.profile

.. autoclass:: UseOfNonSimplePropertyInFunctionalPropertyAxiom
   :members:
   :undoc-members: