P1 gnd:superPropertyOf P2 states that P2 is a subproperty of P1. The gnd:superPropertyOf property is transitive.