From 92f18ad97704051ec0ec655d9f0134cb8daa9296 Mon Sep 17 00:00:00 2001 From: oliviahobai <119642653+oliviahobai@users.noreply.github.com> Date: Fri, 10 Jan 2025 19:38:50 -0500 Subject: [PATCH] definition has inside instant --- 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 efe0835..3af55fb 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -744,7 +744,7 @@ mro:ont00001779 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000038 ; rdfs:range obo:BFO_0000148 ; rdfs:label "has inside instant"@en ; - "For Temporal Interval t1 and Temporal Instant t2, t1 has inside instant t2 if and only if there exists Temporal Instants t3 and t4 that are part of t1 and non-identical with t2, such that t3 is before t2 and t4 is after t2."@en ; + "x has_inside_instant y iff x is an instance of One Dimensional Temporal Region and y is an instance of Zero Dimensional Temporal Region and y is_inside_instant_of 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 .