diff --git a/src/envo/envo-edit.owl b/src/envo/envo-edit.owl index f0fca233..e7ff68cd 100644 --- a/src/envo/envo-edit.owl +++ b/src/envo/envo-edit.owl @@ -31094,7 +31094,8 @@ AnnotationAssertion( "http://www.emdat.be/Glossary") rdfs:comment "\"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 "convective storm"@en) SubClassOf( ) -SubClassOf( ObjectIntersectionOf( ObjectSomeValuesFrom( ))) +SubClassOf( ) +SubClassOf( ObjectSomeValuesFrom( )) # Class: (extra-tropical cyclone) @@ -34268,8 +34269,9 @@ AnnotationAssertion( AnnotationAssertion( "http://sweetontology.net/phenCryo/Accumulation") AnnotationAssertion(rdfs:label "snow and ice accumulation process"@en) EquivalentClasses( ObjectIntersectionOf( ObjectSomeValuesFrom( ))) +SubClassOf( ) SubClassOf( ) -SubClassOf( ObjectIntersectionOf( ObjectSomeValuesFrom( ))) +SubClassOf( ObjectSomeValuesFrom( )) # Class: (mass of ice and snow) @@ -34280,7 +34282,8 @@ AnnotationAssertion( "mass of ice and snow"@en) EquivalentClasses( ObjectIntersectionOf( ObjectSomeValuesFrom( ObjectIntersectionOf( )))) SubClassOf( ) -SubClassOf( ObjectIntersectionOf( ObjectSomeValuesFrom( ))) +SubClassOf( ) +SubClassOf( ObjectSomeValuesFrom( )) SubClassOf( ObjectSomeValuesFrom( )) # Class: (englacial) @@ -40553,7 +40556,8 @@ AnnotationAssertion( "envoPolar") AnnotationAssertion(Annotation( ) rdfs:comment "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 "hail"@en) -SubClassOf( ObjectIntersectionOf( ObjectSomeValuesFrom( ))) +SubClassOf( ) +SubClassOf( ObjectSomeValuesFrom( )) # Class: (hail stone) @@ -40662,7 +40666,7 @@ AnnotationAssertion( AnnotationAssertion( "envoCryo") AnnotationAssertion( "envoPolar") AnnotationAssertion(rdfs:label "depth of water ice"@en) -SubClassOf( ObjectIntersectionOf( ObjectSomeValuesFrom( ))) +EquivalentClasses( ObjectIntersectionOf( ObjectSomeValuesFrom( ))) # Class: (playground)