From 2d7a472622d93a75e5caebf3d94206935bb08fcd Mon Sep 17 00:00:00 2001
From: cmungall <cjm@berkeleybop.org>
Date: Tue, 23 Oct 2018 08:16:29 -0700
Subject: [PATCH 1/2] Adding more D+R constraints, adding irreflexivity axioms

---
 src/ontology/ro-edit.owl | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/ontology/ro-edit.owl b/src/ontology/ro-edit.owl
index a40f7471..60149ecc 100644
--- a/src/ontology/ro-edit.owl
+++ b/src/ontology/ro-edit.owl
@@ -3919,6 +3919,8 @@ AnnotationAssertion(obo:RO_0001900 obo:RO_0002473 obo:RO_0001901)
 AnnotationAssertion(oboInOwl:inSubset obo:RO_0002473 subsets:ro-eco)
 AnnotationAssertion(rdfs:label obo:RO_0002473 "composed primarily of")
 SubObjectPropertyOf(obo:RO_0002473 obo:BFO_0000051)
+ObjectPropertyDomain(obo:RO_0002473 obo:BFO_0000040)
+ObjectPropertyRange(obo:RO_0002473 obo:BFO_0000040)
 
 # Object Property: obo:RO_0002476 (child nucleus of)
 
@@ -4421,6 +4423,10 @@ AnnotationAssertion(obo:IAO_0000232 obo:RO_0002551 "The skeleton of a structure
 AnnotationAssertion(rdfs:label obo:RO_0002551 "has skeleton")
 SubObjectPropertyOf(obo:RO_0002551 obo:BFO_0000051)
 InverseObjectProperties(obo:RO_0002551 obo:RO_0002576)
+AsymmetricObjectProperty(obo:RO_0002551)
+IrreflexiveObjectProperty(obo:RO_0002551)
+ObjectPropertyDomain(obo:RO_0002551 obo:CARO_0000003)
+ObjectPropertyRange(Annotation(obo:IAO_0000116 "This should be to a more restricted class, but not the Uberon class may be too restricted since it is a composition-based definition of skeleton rather than functional.") obo:RO_0002551 obo:CARO_0000006)
 
 # Object Property: obo:RO_0002552 (results in ending of)
 
@@ -5817,7 +5823,7 @@ DLSafeRule(Annotation(rdfs:comment "This rule is dubious: added as a quick fix f
 DLSafeRule(Annotation(rdfs:comment "If a molecular function (X) has a regulatory subfunction, then any gene product which is an input to that subfunction has an activity that directly_regulates X.  Note:  this is intended for cases where the regaultory subfunction is protein binding, so it could be tightened with an additional clause to specify this.") Annotation(rdfs:label "inferring direct reg edge from input to regulatory subfunction") Body(ObjectPropertyAtom(obo:RO_0002352 Variable(<urn:swrl#B>) Variable(<urn:swrl#C>)) ObjectPropertyAtom(obo:RO_0002333 Variable(<urn:swrl#A>) Variable(<urn:swrl#B>)) ObjectPropertyAtom(obo:RO_0002013 Variable(<urn:swrl#D>) Variable(<urn:swrl#C>)))Head(ObjectPropertyAtom(obo:RO_0002578 Variable(<urn:swrl#A>) Variable(<urn:swrl#D>))))
 DLSafeRule(Annotation(rdfs:label "inferring direct neg reg edge from input to regulatory subfunction") Body(ObjectPropertyAtom(obo:RO_0002352 Variable(<urn:swrl#B>) Variable(<urn:swrl#C>)) ObjectPropertyAtom(obo:RO_0002333 Variable(<urn:swrl#A>) Variable(<urn:swrl#B>)) ObjectPropertyAtom(obo:RO_0002014 Variable(<urn:swrl#D>) Variable(<urn:swrl#C>)))Head(ObjectPropertyAtom(obo:RO_0002630 Variable(<urn:swrl#A>) Variable(<urn:swrl#D>))))
 DLSafeRule(Annotation(rdfs:label "inferring direct positive reg edge from input to regulatory subfunction") Body(ObjectPropertyAtom(obo:RO_0002352 Variable(<urn:swrl#B>) Variable(<urn:swrl#C>)) ObjectPropertyAtom(obo:RO_0002333 Variable(<urn:swrl#A>) Variable(<urn:swrl#B>)) ObjectPropertyAtom(obo:RO_0002015 Variable(<urn:swrl#D>) Variable(<urn:swrl#C>)))Head(ObjectPropertyAtom(obo:RO_0002629 Variable(<urn:swrl#A>) Variable(<urn:swrl#D>))))
-DLSafeRule(Annotation(rdfs:label "From has_ligand to ligand activity") Body(ObjectPropertyAtom(obo:RO_0002327 Variable(<urn:swrl#y>) Variable(<urn:swrl#z>)) ObjectPropertyAtom(obo:RO_0002019 Variable(<urn:swrl#x>) Variable(<urn:swrl#y>)))Head(ClassAtom(obo:GO_0048018 Variable(<urn:swrl#z>)) ObjectPropertyAtom(obo:RO_0002578 Variable(<urn:swrl#z>) Variable(<urn:swrl#x>))))
+DLSafeRule(Annotation(rdfs:label "From has_ligand to ligand activity") Body(ObjectPropertyAtom(obo:RO_0002019 Variable(<urn:swrl#x>) Variable(<urn:swrl#y>)) ObjectPropertyAtom(obo:RO_0002327 Variable(<urn:swrl#y>) Variable(<urn:swrl#z>)))Head(ClassAtom(obo:GO_0048018 Variable(<urn:swrl#z>)) ObjectPropertyAtom(obo:RO_0002578 Variable(<urn:swrl#z>) Variable(<urn:swrl#x>))))
 DLSafeRule(Annotation(rdfs:label "effector input is compound function input") Body(ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl#eff>) Variable(<urn:swrl#in>)) ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl#mf>) Variable(<urn:swrl#eff>)))Head(ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl#mf>) Variable(<urn:swrl#in>))))
 DLSafeRule(Annotation(rdfs:label "Input of effector is input of its parent MF") Body(ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl#mf>) Variable(<urn:swrl#in>)) ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl#mf>) Variable(<urn:swrl#eff>)))Head(ObjectPropertyAtom(obo:RO_0002233 Variable(<urn:swrl#eff>) Variable(<urn:swrl#in>))))
 DLSafeRule(Annotation(rdfs:comment "if effector directly regulates X,  its parent MF directly regulates X") Body(ObjectPropertyAtom(obo:RO_0002025 Variable(<urn:swrl#mf>) Variable(<urn:swrl#eff>)) ObjectPropertyAtom(obo:RO_0002578 Variable(<urn:swrl#mf>) Variable(<urn:swrl#mf2>)))Head(ObjectPropertyAtom(obo:RO_0002578 Variable(<urn:swrl#eff>) Variable(<urn:swrl#mf2>))))

From f329dcf948b62042c80741c798e45f3b7263179e Mon Sep 17 00:00:00 2001
From: cmungall <cjm@berkeleybop.org>
Date: Tue, 23 Oct 2018 09:32:18 -0700
Subject: [PATCH 2/2] Added curator notes to grouping relations Added property
 chain for disease-causes-dysfunction-of Additional domain/range constraints

---
 src/ontology/ro-edit.owl | 35 +++++++++++++++++++++++++++++++++--
 1 file changed, 33 insertions(+), 2 deletions(-)

diff --git a/src/ontology/ro-edit.owl b/src/ontology/ro-edit.owl
index 60149ecc..34ecf324 100644
--- a/src/ontology/ro-edit.owl
+++ b/src/ontology/ro-edit.owl
@@ -1003,6 +1003,8 @@ AnnotationAssertion(obo:IAO_0000114 obo:R0_0009004 obo:IAO_0000428)
 AnnotationAssertion(obo:IAO_0000115 obo:R0_0009004 "'has consumer' is a relation between a material entity and an organism in which the former can normally be digested or otherwise absorbed by the latter without immediate or persistent ill effect."@en)
 AnnotationAssertion(obo:IAO_0000117 obo:R0_0009004 "Damion Dooley")
 AnnotationAssertion(rdfs:label obo:R0_0009004 "has consumer"@en)
+ObjectPropertyDomain(obo:R0_0009004 obo:BFO_0000040)
+ObjectPropertyRange(obo:R0_0009004 obo:CARO_0001010)
 
 # Object Property: obo:RO_0000052 (inheres in)
 
@@ -1342,6 +1344,8 @@ AnnotationAssertion(oboInOwl:created_by obo:RO_0002018 "dos"^^xsd:string)
 AnnotationAssertion(oboInOwl:creation_date obo:RO_0002018 "2017-05-24T09:49:21Z"^^xsd:dateTime)
 AnnotationAssertion(rdfs:label obo:RO_0002018 "has component process")
 SubObjectPropertyOf(obo:RO_0002018 obo:RO_0002180)
+ObjectPropertyDomain(obo:RO_0002018 obo:BFO_0000015)
+ObjectPropertyRange(obo:RO_0002018 obo:BFO_0000015)
 
 # Object Property: obo:RO_0002019 (has ligand)
 
@@ -1545,6 +1549,8 @@ AnnotationAssertion(obo:IAO_0000424 obo:RO_0002104 "<http://purl.obolibrary.org/
 AnnotationAssertion(obo:RO_0001900 obo:RO_0002104 obo:RO_0001901)
 AnnotationAssertion(rdfs:label obo:RO_0002104 "has plasma membrane part"@en)
 SubObjectPropertyOf(obo:RO_0002104 obo:BFO_0000051)
+ObjectPropertyDomain(obo:RO_0002104 obo:CARO_0000006)
+ObjectPropertyRange(obo:RO_0002104 obo:CARO_0000006)
 
 # Object Property: obo:RO_0002105 (synapsed_via_type_Ib_bouton_to)
 
@@ -1637,6 +1643,7 @@ AnnotationAssertion(obo:IAO_0000118 obo:RO_0002111 "has neurotransmitter")
 AnnotationAssertion(rdfs:label obo:RO_0002111 "releases neurotransmitter"@en)
 SubObjectPropertyOf(obo:RO_0002111 owl:topObjectProperty)
 ObjectPropertyDomain(obo:RO_0002111 obo:CARO_0000003)
+ObjectPropertyRange(obo:RO_0002111 obo:BFO_0000040)
 
 # Object Property: obo:RO_0002112 (synapsed_by_via_type_Is_bouton)
 
@@ -2039,7 +2046,9 @@ AnnotationAssertion(rdfs:label obo:RO_0002204 "gene product of"@en)
 SubObjectPropertyOf(obo:RO_0002204 obo:RO_0002330)
 InverseObjectProperties(obo:RO_0002204 obo:RO_0002205)
 ObjectPropertyDomain(obo:RO_0002204 obo:BFO_0000004)
+ObjectPropertyDomain(obo:RO_0002204 ObjectUnionOf(obo:BFO_0000031 obo:BFO_0000040))
 ObjectPropertyRange(obo:RO_0002204 obo:BFO_0000002)
+ObjectPropertyRange(obo:RO_0002204 ObjectUnionOf(obo:BFO_0000031 obo:BFO_0000040))
 
 # Object Property: obo:RO_0002205 (has gene product)
 
@@ -2063,6 +2072,7 @@ AnnotationAssertion(rdfs:label obo:RO_0002206 "expressed in"@en)
 SubObjectPropertyOf(obo:RO_0002206 obo:RO_0002330)
 InverseObjectProperties(obo:RO_0002206 obo:RO_0002292)
 ObjectPropertyDomain(obo:RO_0002206 obo:BFO_0000002)
+ObjectPropertyDomain(obo:RO_0002206 ObjectUnionOf(obo:BFO_0000031 obo:BFO_0000040))
 ObjectPropertyRange(obo:RO_0002206 obo:CARO_0000006)
 
 # Object Property: obo:RO_0002207 (directly develops from)
@@ -2156,6 +2166,7 @@ AnnotationAssertion(obo:IAO_0000112 obo:RO_0002214 "heart SubClassOf 'has protot
 AnnotationAssertion(obo:IAO_0000114 obo:RO_0002214 obo:IAO_0000125)
 AnnotationAssertion(obo:IAO_0000115 obo:RO_0002214 "x has prototype y if and only if x is an instance of C and y is a prototypical instance of C. For example, every instance of heart, both normal and abnormal is related by the has prototype relation to some instance of a \"canonical\" heart, which participates in blood circulation.")
 AnnotationAssertion(obo:IAO_0000116 obo:RO_0002214 "Experimental. In future there may be a formalization in which this relation is treated as a shortcut to some modal logic axiom. We may decide to obsolete this and adopt a more specific evolutionary relationship (e.g. evolved from)")
+AnnotationAssertion(obo:IAO_0000116 obo:RO_0002214 "TODO: add homeomorphy axiom")
 AnnotationAssertion(obo:IAO_0000116 obo:RO_0002214 "This property can be used to make weaker forms of certain relations by chaining an additional property. For example, we may say: retina SubClassOf has_prototype some 'detection of light'. i.e. every retina is related to a prototypical retina instance which is detecting some light. Note that this is very similar to 'capable of', but this relation affords a wider flexibility. E.g. we can make a relation between continuants.")
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0002214 "Chris Mungall")
 AnnotationAssertion(rdfs:label obo:RO_0002214 "has prototype"@en)
@@ -2431,6 +2442,8 @@ AnnotationAssertion(oboInOwl:hasRelatedSynonym obo:RO_0002248 "has active pharma
 AnnotationAssertion(rdfs:label obo:RO_0002248 "has active ingredient")
 SubObjectPropertyOf(obo:RO_0002248 obo:BFO_0000051)
 InverseObjectProperties(obo:RO_0002248 obo:RO_0002249)
+ObjectPropertyDomain(obo:RO_0002248 obo:BFO_0000040)
+ObjectPropertyRange(obo:RO_0002248 obo:BFO_0000040)
 
 # Object Property: obo:RO_0002249 (active ingredient in')
 
@@ -2897,6 +2910,8 @@ AnnotationAssertion(obo:IAO_0000119 obo:RO_0002332 <http://purl.obolibrary.org/o
 AnnotationAssertion(obo:IAO_0000589 obo:RO_0002332 "regulates levels of (process to entity)")
 AnnotationAssertion(rdfs:label obo:RO_0002332 "regulates levels of"@en)
 SubObjectPropertyOf(obo:RO_0002332 obo:RO_0002328)
+ObjectPropertyDomain(obo:RO_0002332 obo:BFO_0000015)
+ObjectPropertyRange(obo:RO_0002332 obo:BFO_0000040)
 
 # Object Property: obo:RO_0002333 (enabled by)
 
@@ -2937,6 +2952,7 @@ SubObjectPropertyOf(obo:RO_0002336 obo:RO_0002334)
 
 AnnotationAssertion(obo:IAO_0000115 obo:RO_0002337 "A relationship that holds via some process of localization")
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0002337 "Chris Mungall")
+AnnotationAssertion(obo:IAO_0000232 obo:RO_0002337 "Do not use this relation directly. It is a grouping relation.")
 AnnotationAssertion(rdfs:label obo:RO_0002337 "related via localization to"@en)
 ObjectPropertyDomain(obo:RO_0002337 obo:BFO_0000015)
 ObjectPropertyRange(obo:RO_0002337 obo:BFO_0000002)
@@ -3745,6 +3761,7 @@ AnnotationAssertion(obo:IAO_0000115 obo:RO_0002452 "A relation that holds betwee
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0002452 "Chris Mungall")
 AnnotationAssertion(rdfs:label obo:RO_0002452 "has symptom")
 SubObjectPropertyOf(obo:RO_0002452 obo:RO_0002200)
+ObjectPropertyDomain(obo:RO_0002452 obo:OGMS_0000031)
 
 # Object Property: obo:RO_0002453 (host of)
 
@@ -3846,7 +3863,6 @@ SubObjectPropertyOf(obo:RO_0002463 obo:RO_0002461)
 
 # Object Property: obo:RO_0002464 (helper property (not for use in curation))
 
-AnnotationAssertion(obo:IAO_0000114 obo:RO_0002464 obo:IAO_0000428)
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0002464 "Chris Mungall")
 AnnotationAssertion(obo:IAO_0000232 obo:RO_0002464 "This property or its subproperties is not to be used directly. These properties exist as helper properties that are used to support OWL reasoning.")
 AnnotationAssertion(rdfs:label obo:RO_0002464 "helper property (not for use in curation)")
@@ -4185,6 +4201,8 @@ AnnotationAssertion(obo:IAO_0000119 obo:RO_0002510 "http://www.ncbi.nlm.nih.gov/
 AnnotationAssertion(rdfs:label obo:RO_0002510 "transcribed from")
 SubObjectPropertyOf(obo:RO_0002510 obo:RO_0002330)
 InverseObjectProperties(obo:RO_0002510 obo:RO_0002511)
+ObjectPropertyDomain(obo:RO_0002510 ObjectUnionOf(obo:BFO_0000031 obo:BFO_0000040))
+ObjectPropertyRange(obo:RO_0002510 ObjectUnionOf(obo:BFO_0000031 obo:BFO_0000040))
 
 # Object Property: obo:RO_0002511 (transcribed to)
 
@@ -4202,6 +4220,9 @@ AnnotationAssertion(obo:IAO_0000117 obo:RO_0002512 "Chris Mungall")
 AnnotationAssertion(obo:IAO_0000119 obo:RO_0002512 "http://www.ncbi.nlm.nih.gov/pubmed/20226267"^^xsd:anyURI)
 AnnotationAssertion(rdfs:label obo:RO_0002512 "ribosomal translation of")
 SubObjectPropertyOf(obo:RO_0002512 obo:RO_0002330)
+InverseObjectProperties(obo:RO_0002512 obo:RO_0002513)
+ObjectPropertyDomain(obo:RO_0002512 ObjectUnionOf(obo:BFO_0000031 obo:BFO_0000040))
+ObjectPropertyRange(obo:RO_0002512 ObjectUnionOf(obo:BFO_0000031 obo:BFO_0000040))
 
 # Object Property: obo:RO_0002513 (ribosomally translates to)
 
@@ -4210,6 +4231,8 @@ AnnotationAssertion(obo:IAO_0000117 obo:RO_0002513 "Chris Mungall")
 AnnotationAssertion(obo:IAO_0000119 obo:RO_0002513 "http://www.ncbi.nlm.nih.gov/pubmed/20226267"^^xsd:anyURI)
 AnnotationAssertion(rdfs:label obo:RO_0002513 "ribosomally translates to")
 SubObjectPropertyOf(obo:RO_0002513 obo:RO_0002330)
+ObjectPropertyDomain(obo:RO_0002513 ObjectUnionOf(obo:BFO_0000031 obo:BFO_0000040))
+ObjectPropertyRange(obo:RO_0002513 ObjectUnionOf(obo:BFO_0000031 obo:BFO_0000040))
 
 # Object Property: obo:RO_0002514 (sequentially related to)
 
@@ -4812,6 +4835,7 @@ InverseObjectProperties(obo:RO_0002615 obo:RO_0003301)
 
 # Object Property: obo:RO_0002616 (related via evidence or inference to)
 
+AnnotationAssertion(obo:IAO_0000232 obo:RO_0002616 "Do not use this relation directly. It is a grouping relation.")
 AnnotationAssertion(rdfs:label obo:RO_0002616 "related via evidence or inference to")
 
 # Object Property: obo:RO_0002618 (visits)
@@ -4998,6 +5022,8 @@ AnnotationAssertion(obo:IAO_0000116 obo:RO_0003301 "To Do: decide on scope of th
 AnnotationAssertion(obo:IAO_0000117 obo:RO_0003301 "Matthew Brush")
 AnnotationAssertion(rdfs:comment obo:RO_0003301 "The driving use case for this relation was to link a biological model system such as a cell line or model organism to a disease it is used to investigate, in virtue of the model system exhibiting features similar to that of the disease of interest.")
 AnnotationAssertion(rdfs:label obo:RO_0003301 "is model of"@en)
+AsymmetricObjectProperty(obo:RO_0003301)
+IrreflexiveObjectProperty(obo:RO_0003301)
 
 # Object Property: obo:RO_0003302 (causes or contributes to condition)
 
@@ -5255,7 +5281,6 @@ ObjectPropertyRange(obo:RO_0004022 ObjectUnionOf(obo:OGMS_0000031 obo:UPHENO_000
 
 # Object Property: obo:RO_0004023 (causal relationship with disease as subject)
 
-AnnotationAssertion(obo:IAO_0000116 obo:RO_0004023 "After import upper level from OGMS, make domain more specific.")
 AnnotationAssertion(obo:IAO_0000232 obo:RO_0004023 "Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all of which have a disease as the subject.")
 AnnotationAssertion(oboInOwl:created_by obo:RO_0004023 "cjm"^^xsd:string)
 AnnotationAssertion(oboInOwl:creation_date obo:RO_0004023 "2017-11-05T03:50:54Z"^^xsd:dateTime)
@@ -5564,6 +5589,10 @@ AnnotationAssertion(rdfs:label obo:RO_0040036 "has anatomical participant")
 SubObjectPropertyOf(obo:RO_0040036 obo:RO_0000057)
 ObjectPropertyRange(obo:RO_0040036 ObjectUnionOf(obo:CARO_0000006 obo:CARO_0000007))
 
+# Object Property: obo:RO_HOM0000000 (in similarity relationship with)
+
+AnnotationAssertion(obo:IAO_0000116 obo:RO_HOM0000000 "TODO: Add homeomorphy axiom")
+
 # Object Property: obo:RO_HOM0000001 (in homology relationship with)
 
 SubObjectPropertyOf(obo:RO_HOM0000001 obo:RO_0002158)
@@ -5810,9 +5839,11 @@ SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0002593 obo:BFO_0000050) obo:RO_0
 SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0002593 obo:BFO_0000063 ObjectInverseOf(obo:RO_0002593)) obo:RO_0002497)
 SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0004024 obo:BFO_0000050) obo:RO_0004024)
 SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0004025 obo:BFO_0000050) obo:RO_0004025)
+SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0004025 obo:RO_0002215) obo:RO_0004024)
 SubObjectPropertyOf(ObjectPropertyChain(obo:RO_0009501 obo:RO_0002233) obo:RO_0004028)
 SubObjectPropertyOf(ObjectPropertyChain(ObjectInverseOf(obo:BFO_0000066) obo:RO_0002234) obo:RO_0003000)
 SubObjectPropertyOf(ObjectPropertyChain(ObjectInverseOf(obo:RO_0002176) obo:RO_0002176) obo:RO_0002170)
+DLSafeRule(Body(ObjectPropertyAtom(obo:RO_0002180 Variable(<urn:swrl#w>) Variable(<urn:swrl#p>)) ClassAtom(obo:BFO_0000015 Variable(<urn:swrl#p>)) ClassAtom(obo:BFO_0000015 Variable(<urn:swrl#w>)))Head(ObjectPropertyAtom(obo:RO_0002018 Variable(<urn:swrl#w>) Variable(<urn:swrl#p>))))
 DLSafeRule(Annotation(swrla:isRuleEnabled "true"^^xsd:boolean) Annotation(rdfs:comment "MF(X)-directly_regulates->MF(Y)-enabled_by->GP(Z) => MF(Y)-has_input->GP(Y) e.g. if 'protein kinase activity'(X) directly_regulates 'protein binding activity (Y)and this is enabled by GP(Z) then X has_input Z"^^xsd:string) Annotation(rdfs:label "infer input from direct reg"^^xsd:string) Body(ObjectPropertyAtom(obo:RO_0002327 Variable(<http://purl.obolibrary.org/obo/ro.owl#z>) Variable(<http://purl.obolibrary.org/obo/ro.owl#y>)) ObjectPropertyAtom(obo:RO_0002578 Variable(<http://purl.obolibrary.org/obo/ro.owl#x>) Variable(<http://purl.obolibrary.org/obo/ro.owl#y>)) ClassAtom(obo:GO_0003674 Variable(<http://purl.obolibrary.org/obo/ro.owl#x>)) ClassAtom(obo:GO_0003674 Variable(<http://purl.obolibrary.org/obo/ro.owl#y>)))Head(ObjectPropertyAtom(obo:RO_0002233 Variable(<http://purl.obolibrary.org/obo/ro.owl#x>) Variable(<http://purl.obolibrary.org/obo/ro.owl#z>))))
 DLSafeRule(Annotation(rdfs:comment "GP(X)-enables->MF(Y)-has_part->MF(Z) => GP(X) enables MF(Z),
 e.g.  if GP X enables ATPase coupled transporter activity' and 'ATPase coupled transporter activity' has_part 'ATPase activity' then GP(X) enables 'ATPase activity'") Annotation(rdfs:label "enabling an MF enables its parts") Body(ClassAtom(obo:GO_0003674 Variable(<urn:swrl#y>)) ObjectPropertyAtom(obo:RO_0002327 Variable(<urn:swrl#x>) Variable(<urn:swrl#y>)) ObjectPropertyAtom(obo:BFO_0000051 Variable(<urn:swrl#y>) Variable(<urn:swrl#z>)))Head(ObjectPropertyAtom(obo:RO_0002327 Variable(<urn:swrl#x>) Variable(<urn:swrl#z>))))