skos:broaderTransitive is a transitive superproperty of skos:broader.

http://www.w3.org/2004/02/skos/core

has broader transitive

By convention, skos:broaderTransitive is not used to make assertions. Rather, the properties can be used to draw inferences about the transitive closure of the hierarchical relation, which is useful e.g. when implementing a simple query expansion algorithm in a search application.