Relax logical definition of water ice, liquid water=>water.

Fixes #1410
EnvironmentOntology · Mar 22, 2023 · b04f9d9 · b04f9d9
1 parent 4f5e632
commit b04f9d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/envo/envo-edit.owl b/src/envo/envo-edit.owl
@@ -21720,7 +21720,7 @@ In permafrost regions, ice may occupy voids in soils and rocks and may develop i
 
 In nature ice is formed either by: (a) the freezing of water, (b) the condensation of atmospheric water vapour direct into ice crystals, (c) the compaction of snow with or without the motion of a glacier, or (d) the impregnation of porous snow masses with water which subsequently freeze.")
 AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01000277> "water ice"^^xsd:string)
-EquivalentClasses(<http://purl.obolibrary.org/obo/ENVO_01000277> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01001125> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002473> <http://purl.obolibrary.org/obo/ENVO_00002006>)))
+EquivalentClasses(<http://purl.obolibrary.org/obo/ENVO_01000277> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01001125> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002473> <http://purl.obolibrary.org/obo/CHEBI_15377>)))
 SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01000277> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0000086> <http://purl.obolibrary.org/obo/PATO_0001546>))
 SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01000277> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002354> ObjectUnionOf(<http://purl.obolibrary.org/obo/ENVO_01001549> <http://purl.obolibrary.org/obo/ENVO_03000008> <http://purl.obolibrary.org/obo/ENVO_03000055>)))