attempt to fix odd unsatisfiables

EnvironmentOntology · Dec 9, 2024 · e8e96bb · e8e96bb
1 parent 3a5e611
commit e8e96bb
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/envo/envo-edit.owl b/src/envo/envo-edit.owl
@@ -40442,7 +40442,6 @@ AnnotationAssertion(<http://purl.obolibrary.org/obo/IAO_0000117> <http://purl.ob
 AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ENVO_03000059> <http://purl.obolibrary.org/obo/envo#envoPolar>)
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_03000059> "young ice formation process"@en)
 SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03000059> <http://purl.obolibrary.org/obo/ENVO_03000044>)
-SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03000059> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002220> ObjectUnionOf(<http://purl.obolibrary.org/obo/ENVO_00000015> <http://purl.obolibrary.org/obo/ENVO_00000016>)))
 SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03000059> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002233> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_00002149> <http://purl.obolibrary.org/obo/ENVO_03000068>)))
 SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03000059> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002234> <http://purl.obolibrary.org/obo/ENVO_03000069>))
 
@@ -40478,9 +40477,7 @@ AnnotationAssertion(<http://purl.obolibrary.org/obo/IAO_0000117> <http://purl.ob
 AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ENVO_03000062> <http://purl.obolibrary.org/obo/envo#envoPolar>)
 AnnotationAssertion(rdfs:comment <http://purl.obolibrary.org/obo/ENVO_03000062> "Multiyear ice forms from second year ice which has previously survived at least two melt seasons.")
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_03000062> "multiyear ice formation process"@en)
-SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03000062> <http://purl.obolibrary.org/obo/ENVO_03000044>)
-SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03000062> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002233> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_00002149> <http://purl.obolibrary.org/obo/ENVO_03000072>)))
-SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03000062> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002234> <http://purl.obolibrary.org/obo/ENVO_03000073>))
+EquivalentClasses(<http://purl.obolibrary.org/obo/ENVO_03000062> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_03000044> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002233> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_00002149> <http://purl.obolibrary.org/obo/ENVO_03000072>)) ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002234> <http://purl.obolibrary.org/obo/ENVO_03000073>)))
 
 # Class: <http://purl.obolibrary.org/obo/ENVO_03000063> (new ice)