@prefix : <https://www.commoncoreontologies.org/ont00001848.ttl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <https://www.commoncoreontologies.org/ont00001848.ttl> .

<https://www.commoncoreontologies.org/ont00001848.ttl> rdf:type owl:Ontology .

#################################################################
#    Annotation properties
#################################################################

###  http://www.w3.org/2004/02/skos/core#definition
<http://www.w3.org/2004/02/skos/core#definition> rdf:type owl:AnnotationProperty .


###  https://www.commoncoreontologies.org/ont00001754
<https://www.commoncoreontologies.org/ont00001754> rdf:type owl:AnnotationProperty .


###  https://www.commoncoreontologies.org/ont00001760
<https://www.commoncoreontologies.org/ont00001760> rdf:type owl:AnnotationProperty .


#################################################################
#    Object Properties
#################################################################

###  https://www.commoncoreontologies.org/ont00001779
<https://www.commoncoreontologies.org/ont00001779> rdf:type owl:ObjectProperty ;
                                                   owl:inverseOf <https://www.commoncoreontologies.org/ont00001848> .


###  https://www.commoncoreontologies.org/ont00001848
<https://www.commoncoreontologies.org/ont00001848> rdf:type owl:ObjectProperty ;
                                                   rdfs:domain <http://purl.obolibrary.org/obo/BFO_0000203> ;
                                                   rdfs:range <http://purl.obolibrary.org/obo/BFO_0000038> ;
                                                   rdfs:label "is inside instant of"@en ;
                                                   <http://www.w3.org/2004/02/skos/core#definition> "x is_inside_instant of y iff x is an instance of Temporal Instant and y is an instance of One-Dimensional Temporal Region and there are instances of Temporal Instant w and z that are part of y and non-identical to x such that w precedes x and z is preceded by x."@en ;
                                                   <https://www.commoncoreontologies.org/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 ;
                                                   <https://www.commoncoreontologies.org/ont00001760> "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI .


#################################################################
#    Classes
#################################################################

###  http://purl.obolibrary.org/obo/BFO_0000038
<http://purl.obolibrary.org/obo/BFO_0000038> rdf:type owl:Class .


###  http://purl.obolibrary.org/obo/BFO_0000203
<http://purl.obolibrary.org/obo/BFO_0000203> rdf:type owl:Class .


###  Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi