diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl
index 5306afd..71ad702 100644
--- a/src/cco-modules/TimeOntology.ttl
+++ b/src/cco-modules/TimeOntology.ttl
@@ -96,7 +96,7 @@ cco:ont00001822 rdf:type owl:ObjectProperty ,
                  rdfs:range obo:BFO_0000038 ;
                  owl:propertyDisjointWith cco:ont00001862 ;
                  rdfs:label "interval equals"@en ;
-                 skos:definition "A Temporal Interval INT1 is equal to some Temporal Interval INT2 iff there exists Temporal Instants inst1 and inst2 such that inst1 is the starting instant of both INT1 and INT2 and inst2 is the ending instant of both INT1 and INT2."@en ;
+                 skos:definition "x interval_equals y iff x and y are both instances of One Dimensional Temporal Region and there exist instances of Zero Dimensional Temporal Region w and z such that w is the starting instant of both x and y and z is the ending instant of both x and y."@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 .