ulkb.Theory.lookup\_definition
==============================

.. currentmodule:: ulkb

.. automethod:: Theory.lookup_definition