pyhornedowl.profile.UseOfNonSimplePropertyInInverseFunctionalPropertyAxiom
==========================================================================

.. currentmodule:: pyhornedowl.profile

.. autoclass:: UseOfNonSimplePropertyInInverseFunctionalPropertyAxiom
   :members:
   :undoc-members: