Terminology Service for NFDI4Health
is a defining property chain axiom
Go to external page
http://purl.obolibrary.org/obo/RO_0002581
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
Property info
Property relations
Parents