From c4462e2e919246c5e16d7d8bb2fbda64f437762b Mon Sep 17 00:00:00 2001
From: oliviahobai <119642653+oliviahobai@users.noreply.github.com>
Date: Mon, 20 Jan 2025 12:58:54 -0500
Subject: [PATCH] definition interval is before

---
 src/cco-modules/TimeOntology.ttl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl
index 37ca552..e6dccf5 100644
--- a/src/cco-modules/TimeOntology.ttl
+++ b/src/cco-modules/TimeOntology.ttl
@@ -248,7 +248,7 @@ cco:ont00001940 rdf:type owl:ObjectProperty ;
                  rdfs:domain obo:BFO_0000038 ;
                  rdfs:range obo:BFO_0000038 ;
                  rdfs:label "interval is before"@en ;
-                 skos:definition "A TemporalInterval INT1 is before some TemporalInterval INT2 iff there exists TemporalInstants inst1, inst2 such that inst1 is the ending instant of INT1 and inst2 is the starting instant of INT2 and inst1 is before inst2."@en ;
+                 skos:definition "x interval_is_before y iff x and y are both instances of Zero Dimensional Temporal Region and there exist instances of Zero Dimensional Temporal Region w, z such that w is the ending instant of x and z is the starting instant of y and w is before z."@en ;
                  cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983)  pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ;
                  cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI .