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