"skos:broaderTransitive is a transitive superproperty of skos:broader." . . . . "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."@en . . . "has broader transitive"@en . .