relation p is the direct form of relation q iff p is a subPropertyOf q, p does not have the Transitive characteristic, q does have the Transitive characteristic, and for all x, y: x q y -> exists z1, z2, ..., zn such that x p z1 ... z2n y
The general property hierarchy is:
"directly P" SubPropertyOf "P"
Transitive(P)
Where we have an annotation assertion
"directly P" "is direct form of" "P"