ulkb.Theory.extend# Theory.extend(ext)[source]# Adds extension. Parameters: ext – Extension. Returns: ext. Raises: ExtensionError – ext cannot be added to theory. See also extend().