ulkb.lookup_definition# lookup_definition(*args, theory=None, **kwargs)[source]# Searches for definition. See Theory.lookup_definition().