From 76f7972330ac8c9e0db016d8bd849bb32ccdcf7b Mon Sep 17 00:00:00 2001 From: oliviahobai <119642653+oliviahobai@users.noreply.github.com> Date: Mon, 20 Jan 2025 15:57:05 -0500 Subject: [PATCH] definition has inside interval --- 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 3203960..9917581 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -892,7 +892,7 @@ mro:ont00001795 rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000038 ; rdfs:range obo:BFO_0000038 ; rdfs:label "has inside interval"@en ; - "A Temporal Interval INT2 has inside interval some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, inst3, and inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst3 is before inst1, and inst2 is before inst4."@en ; + "x has_inside_interval y iff x and y are both instances of One Dimensional Temporal Region and y interval_during 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 .