ulkb.show_definitions# show_definitions(*args, theory=None, **kwargs)[source]# Prints definitions matching criteria. See Theory.show_extensions().