Update ExtendedRelationOntology.ttl

Updated 'r is an instant of' to 'r is an instance of'
This commit is contained in:
J. Neil Otte
2025-02-08 21:03:22 -05:00
committed by GitHub
parent e172e60e2e
commit 7618b01523

View File

@@ -548,7 +548,7 @@ cco:ont00001933 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf cco:ont00001803 ;
owl:inverseOf cco:ont00001962 ;
rdfs:label "process starts"@en ;
skos:definition "x process_starts y iff x and y are instances of processes, and x is_cause_of y, and i is an instance of a temporal instant, and r is an instant of a temporal interval, and y has starting instance i, and x occurs on r, and r has inside instant i."@en ;
skos:definition "x process_starts y iff x and y are instances of processes, and x is_cause_of y, and i is an instance of a temporal instant, and r is an instance of a temporal interval, and y has starting instance i, and x occurs on r, and r has inside instant i."@en ;
skos:scopeNote "A process x starts another process y when x causes y while x is still occurring."@en ;
cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI .
@@ -606,7 +606,7 @@ cco:ont00001959 rdf:type owl:ObjectProperty ;
cco:ont00001962 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf cco:ont00001819 ;
rdfs:label "process started by"@en ;
skos:definition "x process_started_by y iff x and y are instances of processes, and x is caused_by y, and i is an instance of a temporal instant, and r is an instant of a temporal interval, and x has starting instance i, and y occurs on r, and r has inside instant i."@en ;
skos:definition "x process_started_by y iff x and y are instances of processes, and x is caused_by y, and i is an instance of a temporal instant, and r is an instance of a temporal interval, and x has starting instance i, and y occurs on r, and r has inside instant i."@en ;
skos:scopeNote "A process x is started by another process y when y causes x while y is still occurring."@en ;
cco:ont00001760 "https://www.commoncoreontologies.org/ExtendedRelationOntology"^^xsd:anyURI .