From 2291d34c2d500898347aeae3537cc510fc7934d1 Mon Sep 17 00:00:00 2001 From: oliviahobai <119642653+oliviahobai@users.noreply.github.com> Date: Fri, 10 Jan 2025 19:44:07 -0500 Subject: [PATCH] definition is inside instant of --- src/cco-extensions/ModalRelationOntology.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cco-extensions/ModalRelationOntology.ttl b/src/cco-extensions/ModalRelationOntology.ttl index 3af55fb..84b8f0e 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -1456,7 +1456,7 @@ mro:ont00001848 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000148 ; rdfs:range obo:BFO_0000038 ; rdfs:label "is inside instant of"@en ; - "For Temporal Instant t1 and Temporal Interval t2, t1 is inside instant of t2 if and only if there are Temporal Instants t3 and t4 non-identical to t1 and part of t2 such that t3 is before t1 and t4 is after t1."@en ; + "x is_inside_instant of y iff x is an instance of Zero-Dimensional Temporal Region and y is an instance of One-Dimensional Temporal Region and there are Temporal Instants w and z that are part of y and non-identical to x such that w is before x and z is after 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 .