Skip to content

Commit

Permalink
Modifify containment relations to be location relations.
Browse files Browse the repository at this point in the history 
Should be merged before oborel/obo-relations#739

For full discussion, see oborel/obo-relations#693
  • Loading branch information
@cmungall
cmungall committed Jul 28, 2023
1 parent f42b551 commit f3c5e83
Showing 1 changed file with 10 additions and 12 deletions.
22 changes: 10 additions & 12 deletions src/envo/envo-edit.owl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4216,8 +4216,6 @@ Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0000091>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0001000>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0001001>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0001015>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0001018>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0001019>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0001025>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0002007>))
Declaration(ObjectProperty(<http://purl.obolibrary.org/obo/RO_0002084>))
Expand Down Expand Up @@ -10473,7 +10471,7 @@ SubClassOf(<http://purl.obolibrary.org/obo/ENVO_00000380> ObjectSomeValuesFrom(<
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_00000380> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002220> <http://purl.obolibrary.org/obo/ENVO_00001999>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_00000380> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002354> <http://purl.obolibrary.org/obo/ENVO_01000895>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_00000380> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002354> <http://purl.obolibrary.org/obo/ENVO_01001533>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_00000380> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002371> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01000635> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001018> <http://purl.obolibrary.org/obo/ENVO_00000303>))))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_00000380> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002371> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01000635> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001025> <http://purl.obolibrary.org/obo/ENVO_00000303>))))

# Class: <http://purl.obolibrary.org/obo/ENVO_00000381> (massif)

Expand Down Expand Up @@ -26999,7 +26997,7 @@ AnnotationAssertion(Annotation(<http://www.geneontology.org/formats/oboInOwl#has
AnnotationAssertion(rdfs:comment <http://purl.obolibrary.org/obo/ENVO_01000872> "This definition could be improved, as ballast water is often used in more general ways, beyond the water contained in a ballast tank at any given time. For example, water which has just been released from a ballast tank is often still refered to as ballast water.")
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01000872> "ballast water"@en)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01000872> <http://purl.obolibrary.org/obo/ENVO_00002006>)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01000872> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001018> <http://purl.obolibrary.org/obo/ENVO_01000873>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01000872> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001025> <http://purl.obolibrary.org/obo/ENVO_01000873>))

# Class: <http://purl.obolibrary.org/obo/ENVO_01000873> (ballast tank)

Expand Down Expand Up @@ -29204,7 +29202,7 @@ SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001091> <http://purl.obolibrar
AnnotationAssertion(Annotation(<http://www.geneontology.org/formats/oboInOwl#hasDbXref> "https://en.wikipedia.org/wiki/Lake#Tectonic_lakes") <http://purl.obolibrary.org/obo/IAO_0000115> <http://purl.obolibrary.org/obo/ENVO_01001092> "A lake which is contained in a depression formed by the deformation and resulting lateral and vertical movements of a lithosphere.")
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01001092> "tectonic lake"@en)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001092> <http://purl.obolibrary.org/obo/ENVO_00000020>)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001092> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001018> <http://purl.obolibrary.org/obo/ENVO_00000309>) ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002354> <http://purl.obolibrary.org/obo/ENVO_01001093>)))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001092> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001025> <http://purl.obolibrary.org/obo/ENVO_00000309>) ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002354> <http://purl.obolibrary.org/obo/ENVO_01001093>)))

# Class: <http://purl.obolibrary.org/obo/ENVO_01001093> (tectonic movement)

Expand Down Expand Up @@ -30102,7 +30100,7 @@ AnnotationAssertion(Annotation(<http://www.geneontology.org/formats/oboInOwl#has
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01001194> "magnetosphere"@en)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001194> <http://purl.obolibrary.org/obo/ENVO_01000408>)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001194> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0000091> <http://purl.obolibrary.org/obo/ENVO_01001196>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001194> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001019> <http://purl.obolibrary.org/obo/ENVO_01000799>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001194> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001015> <http://purl.obolibrary.org/obo/ENVO_01000799>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001194> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002131> <http://purl.obolibrary.org/obo/ENVO_01000637>))

# Class: <http://purl.obolibrary.org/obo/ENVO_01001195> (radiation shielding disposition)
Expand Down Expand Up @@ -30492,7 +30490,7 @@ AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01001228> "H
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001228> <http://purl.obolibrary.org/obo/ENVO_01000408>)
SubClassOf(Annotation(rdfs:comment "QCR: 'process has causal agent' max 1 'astronomical body'") <http://purl.obolibrary.org/obo/ENVO_01001228> ObjectIntersectionOf(ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000067> <http://purl.obolibrary.org/obo/ENVO_01001130>) ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002608> <http://purl.obolibrary.org/obo/ENVO_01000799>)))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001228> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/BFO_0000067> <http://purl.obolibrary.org/obo/ENVO_01001130>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001228> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001019> <http://purl.obolibrary.org/obo/ENVO_01000799>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001228> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001015> <http://purl.obolibrary.org/obo/ENVO_01000799>))

# Class: <http://purl.obolibrary.org/obo/ENVO_01001229> (Lagrangian point)

Expand Down Expand Up @@ -31115,7 +31113,7 @@ AnnotationAssertion(<http://purl.obolibrary.org/obo/IAO_0000115> <http://purl.ob
AnnotationAssertion(rdfs:comment <http://purl.obolibrary.org/obo/ENVO_01001300> "Air is not specified directly (although the definition subsumes air masses) to allow for other forms of low pressure areas in planetary atmospheres.")
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01001300> "area of low atmospheric pressure"@en)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001300> <http://purl.obolibrary.org/obo/ENVO_01001299>)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001300> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001019> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01000797> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0000086> <http://purl.obolibrary.org/obo/PATO_0001575>))))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001300> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001015> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01000797> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0000086> <http://purl.obolibrary.org/obo/PATO_0001575>))))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001300> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0002131> ObjectIntersectionOf(<http://purl.obolibrary.org/obo/ENVO_01000797> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0000086> <http://purl.obolibrary.org/obo/PATO_0001575>))))

# Class: <http://purl.obolibrary.org/obo/ENVO_01001301> (aquatic estuarine layer)
Expand Down Expand Up @@ -31737,7 +31735,7 @@ AnnotationAssertion(<http://purl.obolibrary.org/obo/IAO_0000115> <http://purl.ob
AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym> <http://purl.obolibrary.org/obo/ENVO_01001354> "crater glacier")
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01001354> "volcanic crater glacier"@en)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001354> <http://purl.obolibrary.org/obo/ENVO_00000133>)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001354> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001018> <http://purl.obolibrary.org/obo/ENVO_01001356>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001354> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001025> <http://purl.obolibrary.org/obo/ENVO_01001356>))

# Class: <http://purl.obolibrary.org/obo/ENVO_01001355> (crater zone)

Expand Down Expand Up @@ -34712,7 +34710,7 @@ AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#hasBroadSynony
AnnotationAssertion(<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ENVO_01001668> "envoAtmo")
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01001668> "atmospheric frontal zone"@en)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001668> <http://purl.obolibrary.org/obo/ENVO_01000408>)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001668> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001019> <http://purl.obolibrary.org/obo/ENVO_01001681>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001668> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001015> <http://purl.obolibrary.org/obo/ENVO_01001681>))

# Class: <http://purl.obolibrary.org/obo/ENVO_01001669> (mariculture process)

Expand Down Expand Up @@ -35736,7 +35734,7 @@ AnnotationAssertion(<http://purl.org/dc/elements/1.1/creator> <http://purl.oboli
AnnotationAssertion(<http://purl.org/dc/elements/1.1/date> <http://purl.obolibrary.org/obo/ENVO_01001775> "2019-10-07T14:18:31Z"^^xsd:dateTime)
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/ENVO_01001775> "blind thrust fault"@en)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001775> <http://purl.obolibrary.org/obo/ENVO_01001773>)
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001775> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001018> <http://purl.obolibrary.org/obo/ENVO_01001776>))
SubClassOf(<http://purl.obolibrary.org/obo/ENVO_01001775> ObjectSomeValuesFrom(<http://purl.obolibrary.org/obo/RO_0001025> <http://purl.obolibrary.org/obo/ENVO_01001776>))

# Class: <http://purl.obolibrary.org/obo/ENVO_01001776> (subsurface zone of an astronomical body)

Expand Down Expand Up @@ -47292,4 +47290,4 @@ AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/IAO_0000412> "imp
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/IAO_0000424> "expand expression to")
AnnotationAssertion(<http://purl.obolibrary.org/obo/IAO_0000115> <http://purl.obolibrary.org/obo/RO_0001900> "An assertion that holds between an OWL Object Property and a temporal interpretation that elucidates how OWL Class Axioms that use this property are to be interpreted in a temporal context.")
AnnotationAssertion(rdfs:label <http://purl.obolibrary.org/obo/RO_0001900> "temporal interpretation")
)
)

0 comments on commit f3c5e83

Please sign in to comment.