From aa0a662734912926dcb8156085615ed608b44bee Mon Sep 17 00:00:00 2001 From: oliviahobai <119642653+oliviahobai@users.noreply.github.com> Date: Thu, 30 Jan 2025 08:21:27 -0500 Subject: [PATCH] definition temporal part of I changed the phrasing to directly refer to relationships between other existing CCO object properties. I'd like to work more on the logical inter-relations and see if any more axioms need to be added --- 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 ade05c9..64d0216 100644 --- a/src/cco-extensions/ModalRelationOntology.ttl +++ b/src/cco-extensions/ModalRelationOntology.ttl @@ -376,7 +376,7 @@ mro:BFO_0000139 rdf:type owl:ObjectProperty ; rdfs:range obo:BFO_0000003 ; "078-BFO" ; rdfs:label "temporal part of"@en ; - "b temporal part of c =Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies)"@en ; + "b temporal_part_of c iff b and c are both instances of Occurrent and if b and c are both instances of Temporal Region then b_occurrent_part_of c or if b and c are instances of Spatiotemporal Region & there exists an instance of Occurrent z and b temporally_projects_onto z and there exists an instance of Temporal Region w and z is occurrent_part_of w then c temporally_projects_onto w or if b and c are instances of Process or Process Boundary & there exists an instance of Temporal Region z and z is_temporal_region_of b and there exists an instance of Temporal Region w and z occurrent_part_of w then w is_temporal_region of c."@en ; "Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole game"@en .