ulkb.show\_axioms
=================

.. currentmodule:: ulkb

.. autofunction:: show_axioms