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 is inside instant of

Browse Source
This commit is contained in:
oliviahobai
2025-01-10 19:44:49 -05:00
committed by GitHub
parent 2291d34c2d
commit d31a0985c2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/cco-modules/TimeOntology.ttl
View File

@@ -130,7 +130,7 @@ cco:ont00001848 rdf:type owl:ObjectProperty ;
rdfs:domain obo:BFO_0000148 ;
rdfs:range obo:BFO_0000038 ;
rdfs:label "is inside instant of"@en ;
skos:definition "For Temporal Instant t1 and Temporal Interval t2, t1 is inside instant of t2 if and only if there are Temporal Instants t3 and t4 non-identical to t1 and part of t2 such that t3 is before t1 and t4 is after t1."@en ;
skos:definition "x is_inside_instant of y iff x is an instance of Zero-Dimensional Temporal Region and y is an instance of One-Dimensional Temporal Region and there are Temporal Instants w and z that are part of y and non-identical to x such that w is before x and z is after x."@en ;
cco:ont00001754 "J. F. Allen and J. A. G. M. Koomen. Planning using a temporal world model. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-1983) pages 741–747. Available at: https://www.ijcai.org/Proceedings/83-2/Papers/036.pdf"@en ;
cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI .