"Chris Mungall" . "If we have the annotation P is-direct-form-of Q, and we have inverses P' and Q', then it follows that P' is-direct-form-of Q'" . "is direct form of" . . "The general property hierarchy is:\n\n \"directly P\" SubPropertyOf \"P\"\n Transitive(P)\n\nWhere we have an annotation assertion\n\n \"directly P\" \"is direct form of\" \"P\"" . "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" . .