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

is temporal region of now inverse of occupies temporal region

Browse Source
This commit is contained in:
Mark Jensen
2023-09-17 13:09:44 -04:00
parent 77a709ea49
commit 395ca55705
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
ExtendedRelationOntology.ttl
View File

@@ -236,6 +236,10 @@ skos:editorialNote rdf:type owl:AnnotationProperty .
# Object Properties
#################################################################
### http://purl.obolibrary.org/obo/BFO_0000199
obo:BFO_0000199 owl:inverseOf cco:is_temporal_region_of .
### http://www.ontologyrepository.com/CommonCoreOntologies/accessory_in
cco:accessory_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf obo:BFO_0000056 ;
@@ -569,7 +573,7 @@ cco:is_temporal_region_of rdf:type owl:ObjectProperty ;
cco:definition "x is_temporal_region_of y iff y is an instance of a process or process boundary and x is an instance of a temporal region, such that the duration of x temporally projects on y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ExtendedRelationOntology"^^xsd:anyURI ;
rdfs:label "is temporal region of"@en ;
skos:editorialNote "Leaving this is in for now since BFO2020 has no inverse yet."@en .
skos:editorialNote "Leaving this is in ERO for now since BFO2020 has no inverse of occupies-temporal-region yet."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/occurs_at