From f3c5e8352459053c76f53f505108dbd96fa4517a Mon Sep 17 00:00:00 2001
From: cmungall <cjm@berkeleybop.org>
Date: Thu, 27 Jul 2023 19:35:56 -0700
Subject: [PATCH] Modifify containment relations to be location relations.

Should be merged before https://github.com/oborel/obo-relations/pull/739

For full discussion, see https://github.com/oborel/obo-relations/issues/693
---
 src/envo/envo-edit.owl | 22 ++++++++++------------
 1 file changed, 10 insertions(+), 12 deletions(-)

diff --git a/src/envo/envo-edit.owl b/src/envo/envo-edit.owl
index c27bf4b6..aa745aa2 100644
--- a/src/envo/envo-edit.owl
+++ b/src/envo/envo-edit.owl
@@ -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>))
@@ -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)
 
@@ -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)
 
@@ -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)
 
@@ -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)
@@ -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)
 
@@ -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)
@@ -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)
 
@@ -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)
 
@@ -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)
 
@@ -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")
-)
\ No newline at end of file
+)