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

<https://www.commoncoreontologies.org/ont00001800.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 .


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


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


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

###  https://www.commoncoreontologies.org/ont00001800
<https://www.commoncoreontologies.org/ont00001800> rdf:type owl:ObjectProperty ;
                                                   rdfs:subPropertyOf <https://www.commoncoreontologies.org/ont00001942> ;
                                                   owl:inverseOf <https://www.commoncoreontologies.org/ont00001817> ;
                                                   rdfs:domain <https://www.commoncoreontologies.org/ont00001324> ;
                                                   rdfs:range <http://purl.obolibrary.org/obo/BFO_0000015> ;
                                                   rdfs:label "prohibits"@en ;
                                                   <http://www.w3.org/2004/02/skos/core#definition> "x prohibits y at t iff: x is an instance of Process Regulation at time t, and y is an instance of Process at time t, and x prescribes that some y must not occur."@en ;
                                                   <http://www.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be asymmetric and irreflexive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en ;
                                                   <https://www.commoncoreontologies.org/ont00001760> "https://www.commoncoreontologies.org/AgentOntology"^^xsd:anyURI .


###  https://www.commoncoreontologies.org/ont00001817
<https://www.commoncoreontologies.org/ont00001817> rdf:type owl:ObjectProperty .


###  https://www.commoncoreontologies.org/ont00001942
<https://www.commoncoreontologies.org/ont00001942> rdf:type owl:ObjectProperty .


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

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


###  https://www.commoncoreontologies.org/ont00000553
<https://www.commoncoreontologies.org/ont00000553> rdf:type owl:Class ;
                                                   owl:equivalentClass [ owl:intersectionOf ( <https://www.commoncoreontologies.org/ont00001324>
                                                                                              [ rdf:type owl:Restriction ;
                                                                                                owl:onProperty <https://www.commoncoreontologies.org/ont00001800> ;
                                                                                                owl:someValuesFrom <http://purl.obolibrary.org/obo/BFO_0000015>
                                                                                              ]
                                                                                            ) ;
                                                                         rdf:type owl:Class
                                                                       ] .


###  https://www.commoncoreontologies.org/ont00001324
<https://www.commoncoreontologies.org/ont00001324> rdf:type owl:Class .


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