TPTP documents are provided under the Eclipse Foundation Software User Agreement.
The ICCBSS official web site