Merge pull request #624 from rays22/issue623

Remove axiom
oborel · Sep 7, 2022 · dc841a7 · dc841a7
2 parents f0a2897 + 27184f1
commit dc841a7
Showing 1 changed file with 3 additions and 8 deletions.
diff --git a/src/ontology/ro-edit.owl b/src/ontology/ro-edit.owl
@@ -26,12 +26,11 @@ Import(<http://purl.obolibrary.org/obo/ro/generated-axioms.owl>)
 Import(<http://purl.obolibrary.org/obo/ro/go-biotic.owl>)
 Import(<http://purl.obolibrary.org/obo/ro/go_cc_import.owl>)
 Import(<http://purl.obolibrary.org/obo/ro/go_mf_import.owl>)
+Import(<http://purl.obolibrary.org/obo/ro/omo_import.owl>)
 Import(<http://purl.obolibrary.org/obo/ro/other_import.owl>)
 Import(<http://purl.obolibrary.org/obo/ro/pato_import.owl>)
 Import(<http://purl.obolibrary.org/obo/ro/rohom.owl>)
 Import(<http://purl.obolibrary.org/obo/ro/temporal-intervals.owl>)
-Import(<http://purl.obolibrary.org/obo/ro/omo_import.owl>)
-
 Annotation(dce:description "The OBO Relations Ontology (RO) is a collection of OWL relations (ObjectProperties) intended for use across a wide variety of biological ontologies."@en)
 Annotation(dce:title "OBO Relations Ontology"@en)
 Annotation(dc:license <https://creativecommons.org/publicdomain/zero/1.0/>)
@@ -1997,9 +1996,9 @@ AnnotationAssertion(obo:RO_0001900 obo:RO_0002150 obo:RO_0001901)
 AnnotationAssertion(rdfs:label obo:RO_0002150 "continuous with"@en)
 AnnotationAssertion(rdfs:seeAlso obo:RO_0002150 "FMA:85972")
 SubObjectPropertyOf(obo:RO_0002150 obo:RO_0002323)
+SymmetricObjectProperty(obo:RO_0002150)
 ObjectPropertyDomain(obo:RO_0002150 obo:BFO_0000004)
 ObjectPropertyRange(obo:RO_0002150 obo:BFO_0000004)
-SymmetricObjectProperty(obo:RO_0002150)
 
 # Object Property: obo:RO_0002151 (partially overlaps)
 
@@ -6489,10 +6488,6 @@ SubClassOf(obo:BFO_0000003 ObjectAllValuesFrom(obo:RO_HOM0000000 obo:BFO_0000003
 
 SubClassOf(obo:BFO_0000015 ObjectAllValuesFrom(obo:RO_0002214 obo:BFO_0000015))
 
-# Class: obo:CARO_0000006 (material anatomical entity)
-
-SubClassOf(obo:CARO_0000006 ObjectAllValuesFrom(obo:RO_0002179 obo:CARO_0000003))
-
 # Class: obo:CHEBI_50906 (obo:CHEBI_50906)
 
 SubClassOf(obo:CHEBI_50906 obo:PATO_0000001)
@@ -6732,4 +6727,4 @@ AnnotationAssertion(oboInOwl:inSubset obo:RO_0002086 subsets:ro-eco)
 AnnotationAssertion(oboInOwl:inSubset obo:RO_0002089 subsets:ro-eco)
 AnnotationAssertion(oboInOwl:inSubset obo:RO_0002093 subsets:ro-eco)
 AnnotationAssertion(Annotation(rdfs:comment "This is an experimental annotation") obo:IAO_0000589 rdfs:isDefinedBy "is defined by")
-)
+)