diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl
index 110aead..45dd72c 100644
--- a/src/cco-extensions/ModalRelationOntology.ttl
+++ b/src/cco-extensions/ModalRelationOntology.ttl
@@ -2827,8 +2827,8 @@ mro:ont00001990 rdf:type owl:ObjectProperty ;
                 rdfs:domain obo:BFO_0000148 ;
                 rdfs:range obo:BFO_0000148 ;
                 rdfs:label "instant is before"@en ;
-                <http://www.w3.org/2004/02/skos/core#definition> "A temporal instant t1 (a instance of a zero-dimensional temporal region) is before another temporal instant t2 iff there exists some instance of a temporal interval ti1 such that t1 is the starting instant of ti1 and t2 is the ending instant of ti1."@en ;
-                <http://www.w3.org/2004/02/skos/core#scopeNote> "'instant is before' is a primitive relationship. Informally, a temporal instant t1 is before some temporal instant t2 if and only if t1 precedes t2."@en ;
+                skos:definition "x instant_is_before y iff x and y are both instances of Zero Dimensional Temporal Region and there exists some instance of Temporal Interval z such that x is the starting instant of z and y is the ending instant of z."@en ;
+                skos:scopeNote "'instant is before' is a primitive relationship. Informally, a temporal instant x is before some temporal instant y iff x precedes 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/ModalRelationOntology> .