ulkb.Theory.lookup\_axiom
=========================

.. currentmodule:: ulkb

.. automethod:: Theory.lookup_axiom