github/CommonCoreOntologies
1
1
Fork 0
mirror of https://github.com/CommonCoreOntology/CommonCoreOntologies.git synced 2026-04-27 03:00:27 -04:00
Code Issues Packages Projects Releases Wiki Activity

definition temporal part of

Browse Source 
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
This commit is contained in:
oliviahobai
2025-01-30 08:21:27 -05:00
committed by GitHub
parent 38e8498ea4
commit aa0a662734
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/cco-extensions/ModalRelationOntology.ttl
View File

@@ -376,7 +376,7 @@ mro:BFO_0000139 rdf:type owl:ObjectProperty ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "078-BFO" ;
rdfs:label "temporal part of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "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 ;
<http://www.w3.org/2004/02/skos/core#definition> "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 ;
<http://www.w3.org/2004/02/skos/core#example> "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 .