Ontologies
FLOPO
Flora Phenotype Ontology (FLOPO)
OWL
Last submission date September 6, 2019
ID http://purl.obolibrary.org/obo/RO_0002581
http://purl.obolibrary.org/obo/RO_0002581
https://agroportal.lirmm.fr/ontologies/FLOPO/RO_0002581
Loading
Type http://www.w3.org/2002/07/owl#AnnotationProperty
Preferred name
is a defining property chain axiom
Definitions
If R <- P o Q is a defining property chain axiom, then it also holds that R -> P o Q. Note that this cannot be expressed directly in OWL