is a defining property chain axiom where second argument is reflexive

Go to external page http://purl.obolibrary.org/obo/RO_0002582


Property information

definition

If R <- P o Q is a defining property chain axiom, then (1) R -> P o Q holds and (2) Q is either reflexive or locally reflexive. A corollary of this is that P SubPropertyOf R.

Property relations