@prefix : <https://www.commoncoreontologies.org/ont00001870.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/ont00001870.ttl> .

<https://www.commoncoreontologies.org/ont00001870.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/ont00001825
<https://www.commoncoreontologies.org/ont00001825> rdf:type owl:ObjectProperty ;
                                                   owl:inverseOf <https://www.commoncoreontologies.org/ont00001870> .


###  https://www.commoncoreontologies.org/ont00001862
<https://www.commoncoreontologies.org/ont00001862> rdf:type owl:ObjectProperty ;
                                                   owl:propertyDisjointWith <https://www.commoncoreontologies.org/ont00001870> .


###  https://www.commoncoreontologies.org/ont00001870
<https://www.commoncoreontologies.org/ont00001870> rdf:type owl:ObjectProperty ;
                                                   rdfs:domain <http://purl.obolibrary.org/obo/BFO_0000038> ;
                                                   rdfs:range <http://purl.obolibrary.org/obo/BFO_0000038> ;
                                                   rdfs:label "interval overlapped by"@en ;
                                                   <http://www.w3.org/2004/02/skos/core#definition> "A Temporal Interval INT2 is overlapped by some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, inst3, inst4 such that inst1 is the starting instant of INT1, inst2 is the ending instant of INT1, inst3 is the starting instant of INT2, inst4 is the ending instant of INT2, inst1 is before inst3, inst3 is before inst2, and inst2 is before inst4."@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 .


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