ulkb.new\_axiom
===============

.. currentmodule:: ulkb

.. autofunction:: new_axiom