ulkb.Object.to\_tptp ==================== .. currentmodule:: ulkb .. automethod:: Object.to_tptp