Merge pull request #1439 from EnvironmentOntology/issue-1435

Fixed logical def for animal environment. Fixes #1435
EnvironmentOntology · Sep 5, 2023 · 75832d3 · 75832d3
2 parents ffacfb3 + 6b698d3
commit 75832d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/envo/envo-edit.owl b/src/envo/envo-edit.owl
@@ -28875,7 +28875,7 @@ AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <htt
 AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ENVO_01001055> "envoMeo")
 AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ENVO_01001055> "envoOmics")
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01001055> "environment associated with an animal part or small animal"@en)
-EquivalentClasses(<http://purl.obolibrary.org/obo/ENVO_01001055> ObjectUnionOf(ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01001110> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002507> <http://purl.obolibrary.org/obo/NCBITaxon_33208>)) ObjectIntersectionOf(<http://purl.obolibrary.org/obo/UBERON_0001062> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/NCBITaxon_33208>))))
+EquivalentClasses(<http://purl.obolibrary.org/obo/ENVO_01001055> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01001110> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002507> ObjectUnionOf(<http://purl.obolibrary.org/obo/NCBITaxon_33208> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/UBERON_0001062> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000050> <http://purl.obolibrary.org/obo/NCBITaxon_33208>))))))
 SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001055> <http://purl.obolibrary.org/obo/ENVO_01001110>)
 
 # Class: <http://purl.obolibrary.org/obo/ENVO_01001056> (environment determined by a biofilm on a saline surface)