Fixing hail axiom and depth of water ice axiom

May fix EBISPOT/ols4#619

See #1491

src/envo/envo-edit.owl

@@ -31105,7 +31105,8 @@ AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <htt
 AnnotationAssertion(Annotation(<http://www.geneontology.org/formats/oboInOwl#hasDbXref> "http://www.emdat.be/Glossary") rdfs:comment <http://purl.obolibrary.org/obo/ENVO_01001294> "\"Convective storms range from localised thunderstorms (with heavy rain and/or hail, lightning, high winds, tornadoes) to meso-scale, multi-day events.\"")
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01001294> "convective storm"@en)
 SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001294> <http://purl.obolibrary.org/obo/ENVO_01000877>)
-SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001294> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01003010> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0000057> <http://purl.obolibrary.org/obo/ENVO_01001682>)))
+SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001294> <http://purl.obolibrary.org/obo/ENVO_01003010>)
+SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001294> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0000057> <http://purl.obolibrary.org/obo/ENVO_01001682>))
 
 # Class: <http://purl.obolibrary.org/obo/ENVO_01001295> (extra-tropical cyclone)
 
@@ -34279,8 +34280,9 @@ AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#creation_date>
 AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#hasDbXref> <http://purl.obolibrary.org/obo/ENVO_01001619> "http://sweetontology.net/phenCryo/Accumulation")
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01001619> "snow and ice accumulation process"@en)
 EquivalentClasses(<http://purl.obolibrary.org/obo/ENVO_01001619> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_03000009> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002297> <http://purl.obolibrary.org/obo/ENVO_01001620>)))
+SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001619> <http://purl.obolibrary.org/obo/ENVO_01001617>)
 SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001619> <http://purl.obolibrary.org/obo/ENVO_03000009>)
-SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001619> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01001617> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/ENVO_01001618>)))
+SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001619> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/ENVO_01001618>))
 
 # Class: <http://purl.obolibrary.org/obo/ENVO_01001620> (mass of ice and snow)
 
@@ -34291,7 +34293,8 @@ AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#hasDbXref> <ht
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01001620> "mass of ice and snow"@en)
 EquivalentClasses(<http://purl.obolibrary.org/obo/ENVO_01001620> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01001691> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002473> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01000277> <http://purl.obolibrary.org/obo/ENVO_01000406>))))
 SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001620> <http://purl.obolibrary.org/obo/BFO_0000030>)
-SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001620> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_03000111> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/ENVO_01000293>)))
+SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001620> <http://purl.obolibrary.org/obo/ENVO_03000111>)
+SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001620> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000051> <http://purl.obolibrary.org/obo/ENVO_01000293>))
 SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001620> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002354> <http://purl.obolibrary.org/obo/ENVO_01001619>))
 
 # Class: <http://purl.obolibrary.org/obo/ENVO_01001621> (englacial)
@@ -40564,7 +40567,8 @@ AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <htt
 AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ENVO_03400011> "envoPolar")
 AnnotationAssertion(Annotation(<http://www.geneontology.org/formats/oboInOwl#hasDbXref> <https://orcid.org/0000-0003-4808-4736>) rdfs:comment <http://purl.obolibrary.org/obo/ENVO_03400011> "Individual units of hail are called hailstones. Thunderstorms that are characterized by strong updrafts, large liquid water contents, large cloud-drop sizes, and great vertical height are favorable to hail formation. The destructive effects of hailstorms upon plant and animal life, buildings and property, and aircraft in flight render them a prime object of weather modification studies. In aviation weather observations, hail is encoded A. Smaller particles of similar origin, formerly called small hail, may be classed as either ice pellets or snow pellets."@en)
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_03400011> "hail"@en)
-SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03400011> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/BFO_0000027> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002351> <http://purl.obolibrary.org/obo/ENVO_03400012>)))
+SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03400011> <http://purl.obolibrary.org/obo/BFO_0000027>)
+SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03400011> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002351> <http://purl.obolibrary.org/obo/ENVO_03400012>))
 
 # Class: <http://purl.obolibrary.org/obo/ENVO_03400012> (hail stone)
 
@@ -40673,7 +40677,7 @@ AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#creation_date>
 AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ENVO_03400017> "envoCryo")
 AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ENVO_03400017> "envoPolar")
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_03400017> "depth of water ice"@en)
-SubClassOf(<http://purl.obolibrary.org/obo/ENVO_03400017> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/PATO_0001595> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0000052> <http://purl.obolibrary.org/obo/ENVO_01000277>)))
+EquivalentClasses(<http://purl.obolibrary.org/obo/ENVO_03400017> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/PATO_0001595> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0000052> <http://purl.obolibrary.org/obo/ENVO_01000277>)))
 
 # Class: <http://purl.obolibrary.org/obo/ENVO_03500001> (playground)