diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl index 83e1393..e3a7e99 100644 --- a/src/cco-modules/TimeOntology.ttl +++ b/src/cco-modules/TimeOntology.ttl @@ -43,6 +43,26 @@ cco:ont00001760 rdf:type owl:AnnotationProperty . # Object Properties ################################################################# +### https://www.commoncoreontologies.org/ont00001779 +cco:ont00002080 rdf:type owl:ObjectProperty , + owl:FunctionalProperty ; + owl:inverseOf cco:ont00001848 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000203 ; + rdfs:label "process has first instant"@en ; + skos:definition "x process_has_first_instant y iff x is an instance of Process and y is an instance of Temporal Instant and z is an instance of Temporal Region and y is first_instant_of z, and x occupies_temporal_region z."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + +### https://www.commoncoreontologies.org/ont00001779 +cco:ont00002081 rdf:type owl:ObjectProperty , + owl:FunctionalProperty ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000203 ; + rdfs:label "process has last instant"@en ; + skos:definition "x has_last_instant y iff x is an instance of Process and y is an instance of Temporal Instant and z is an instance of Temporal Region and y is last_instant_of z, and x occupies_temporal_region z."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + + ### https://www.commoncoreontologies.org/ont00001779 cco:ont00001779 rdf:type owl:ObjectProperty ; owl:inverseOf cco:ont00001848 ;