| ID |
http://purl.obolibrary.org/obo/RO_0002582
http://purl.obolibrary.org/obo/RO_0002582
https://agroportal.lirmm.fr/ontologies/ENVO/RO_0002582
|
| Type |
http://www.w3.org/2002/07/owl#AnnotationProperty |
| Preferred name |
is a defining property chain axiom where second argument is reflexive
|
| Definitions |
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.
|
