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 has inside instant

Browse Source
This commit is contained in:
oliviahobai
2025-01-10 19:37:43 -05:00
committed by GitHub
parent 7e8995d9a1
commit 2125ae3a0d
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

@@ -49,7 +49,7 @@ cco:ont00001779 rdf:type owl:ObjectProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000148 ;
rdfs:label "has inside instant"@en ;
skos:definition "For Temporal Interval t1 and Temporal Instant t2, t1 has inside instant t2 if and only if there exists Temporal Instants t3 and t4 that are part of t1 and non-identical with t2, such that t3 is before t2 and t4 is after t2."@en ;
skos:definition "x has_inside_instant y iff x is an instance of One Dimensional Temporal Region and y is an instance of Zero Dimensional Temporal Region and y is_inside_instant_of 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 .