diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl index 5c50647..110aead 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -1900,8 +1900,8 @@ mro:ont00001893 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000148 ; rdfs:range obo:BFO_0000148 ; rdfs:label "instant is after"@en ; - skos:definition "x instant_is_after 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 after' is a primitive relationship. Informally, a temporal instant x is after some temporal instant y iff x precedes y."@en ; + skos:definition "x instant_is_after y iff x and y are both instances of Zero Dimensional Temporal Region and there exists some instance of Temporal Interval z such that y is the starting instant of z and x is the ending instant of z."@en ; + skos:scopeNote "'instant is after' is a primitive relationship. Informally, a temporal instant x is after some temporal instant y iff y precedes x."@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 .