diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl
index 37b6932..d99f0fc 100644
--- a/src/cco-modules/TimeOntology.ttl
+++ b/src/cco-modules/TimeOntology.ttl
@@ -120,7 +120,7 @@ cco:ont00001847 rdf:type owl:ObjectProperty ;
                  rdfs:domain obo:BFO_0000038 ;
                  rdfs:range obo:BFO_0000038 ;
                  rdfs:label "interval is after"@en ;
-                 skos:definition "A TemporalInterval INT2 is after some TemporalInterval INT1 iff there exists TemporalInstants inst2, inst1 such that inst2 is the starting instant of INT2 and inst1 is the ending instant of INT1 and inst2 is after inst1."@en ;
+                 skos:definition "x interval_is_after y iff x and y are both instances of One Dimensional Temporal Region and there exist instances of Zero Dimensional Temporal Region w, z such that w is the starting instant of y and z is the ending instant of x and w is after 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 .