EFO | Properties | AgroPortal

ID	http://purl.obolibrary.org/obo/RO_0002582 http://purl.obolibrary.org/obo/RO_0002582 https://agroportal.lirmm.fr/ontologies/EFO/RO_0002582 Loading
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.

obo_purl:IAO_0000115	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.
rdf:type	http://www.w3.org/2002/07/owl#AnnotationProperty Loading
rdfs:label	is a defining property chain axiom where second argument is reflexive