@prefix : <http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology/> .
@prefix cco: <http://www.ontologyrepository.com/CommonCoreOntologies/> .
@prefix mro: <http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/> .
@prefix obo: <http://purl.obolibrary.org/obo/> .
@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 <http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology> .

<http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology> rdf:type owl:Ontology ;
                                                                                             rdfs:label "Modal Extended Relation Ontology"^^xsd:string ;
                                                                                             owl:versionInfo "22 March 2018"^^xsd:string ;
                                                                                             rdfs:comment "This ontology contains the modal counterparts to properties defined in the Extended Relation Ontology."^^xsd:string .

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


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_token_unit
mro:has_token_unit rdf:type owl:AnnotationProperty ;
                   cco:definition "A relation between an information content entity and a widely used measurement unit of the token used to express it."^^xsd:string ;
                   cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                   rdfs:label "has token unit"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_tokenized_by
mro:is_tokenized_by rdf:type owl:AnnotationProperty ;
                    cco:definition "A relation between an information content entity and a widely used token used to express it."^^xsd:string ;
                    cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                    rdfs:label "is tokenized by"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/measurement_annotation
mro:measurement_annotation rdf:type owl:AnnotationProperty ;
                           cco:definition "A measurement value of an instance of a quality, reazlizable or process profile"^^xsd:string ;
                           cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                           rdfs:label "measurement annotation"^^xsd:string .



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


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/accessory_in
mro:accessory_in rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf mro:participates_in ;
                 owl:inverseOf mro:has_accessory ;
                 rdfs:domain obo:BFO_0000040 ;
                 rdfs:range obo:BFO_0000015 ;
                 cco:definition "An agent a1 is accessory_in some Processual Entity p1 iff a1 assists in the commission of p1, is not located_at the location of p1, and is not agent_in p1. "^^xsd:string ;
                 cco:definition_source "http://en.wikipedia.org/wiki/Accessory_(legal_term)"^^xsd:string ;
                 cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                 rdfs:label "accessory in"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/accomplice_in
mro:accomplice_in rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf mro:participates_in ;
                  owl:inverseOf mro:has_accomplice ;
                  rdfs:domain obo:BFO_0000040 ;
                  rdfs:range obo:BFO_0000015 ;
                  cco:definition "An agent a1 is accomplice_in some Processual Entity p1 iff a1 assists in the commission of p1, is located at the location of p1, but is not agent_in p1."^^xsd:string ;
                  cco:definition_source "http://en.wikipedia.org/wiki/Accomplice"^^xsd:string ;
                  cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                  rdfs:label "accomplice in"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/affects
mro:affects rdf:type owl:ObjectProperty ;
            rdfs:subPropertyOf mro:has_participant ;
            owl:inverseOf mro:is_affected_by ;
            rdfs:domain obo:BFO_0000015 ;
            rdfs:range obo:BFO_0000002 ;
            cco:definition "If p is a process and c is a continuant, then p affects c if and only if p influences c in some manner, most often by producing a change in c."^^xsd:string ;
            cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
            rdfs:label "affects"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_has_disposition
mro:aggregate_has_disposition rdf:type owl:ObjectProperty ;
                              rdfs:subPropertyOf mro:aggregrate_bearer_of ;
                              rdfs:domain obo:BFO_0000027 ;
                              rdfs:range obo:BFO_0000016 ;
                              cco:definition "An instance of an Object Aggregate (or any of its subtypes) is aggregate_has_disposition of some instance of a Disposition if and only if every member of the Object Aggregate instance has_disposition some instance of the Disposition."^^xsd:string ;
                              cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                              rdfs:label "aggregate has disposition"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_has_quality
mro:aggregate_has_quality rdf:type owl:ObjectProperty ;
                          rdfs:subPropertyOf mro:aggregrate_bearer_of ;
                          rdfs:domain obo:BFO_0000027 ;
                          rdfs:range obo:BFO_0000019 ;
                          cco:definition "An instance of an Object Aggregate (or any of its subtypes) is aggregate_has_quality of some instance of a Quality if and only if every member of the Object Aggregate instance has_quality some instance of the Quality."^^xsd:string ;
                          cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                          rdfs:label "aggregate has quality"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_has_role
mro:aggregate_has_role rdf:type owl:ObjectProperty ;
                       rdfs:subPropertyOf mro:aggregrate_bearer_of ;
                       rdfs:domain obo:BFO_0000027 ;
                       rdfs:range obo:BFO_0000023 ;
                       cco:definition "An instance of an Object Aggregate (or any of its subtypes) is aggregate_has_role of some instance of a Role if and only if every member of the Object Aggregate instance has_role some instance of the Role."^^xsd:string ;
                       cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                       rdfs:label "aggregate has role"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregrate_bearer_of
mro:aggregrate_bearer_of rdf:type owl:ObjectProperty ;
                         rdfs:domain obo:BFO_0000027 ;
                         rdfs:range [ rdf:type owl:Class ;
                                      owl:unionOf ( obo:BFO_0000020
                                                    obo:BFO_0000031
                                                  )
                                    ] ;
                         cco:definition "An instance of an Object Aggregate (or any of its subtypes) is aggregate_bearer_of some instance of a Dependent Continuant (or any of its subtypes) if and only if every member of the Object Aggregate instance is bearer_of some instance of the Dependent Continuant"^^xsd:string ;
                         cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                         rdfs:label "aggregate bearer of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/bearer_of
mro:bearer_of rdf:type owl:ObjectProperty ;
              owl:inverseOf mro:inheres_in ;
              rdfs:domain obo:BFO_0000004 ;
              rdfs:range [ rdf:type owl:Class ;
                           owl:unionOf ( obo:BFO_0000020
                                         obo:BFO_0000031
                                       )
                         ] ;
              cco:definition "Inverse of inheres in."^^xsd:string ;
              cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
              rdfs:label "bearer of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/caused_by
mro:caused_by rdf:type owl:ObjectProperty ;
              owl:inverseOf mro:is_cause_of ;
              rdfs:domain obo:BFO_0000003 ;
              rdfs:range obo:BFO_0000001 ;
              cco:definition "For types of Processual Entities P1 and P2, P1 caused by P2 if and only if for all instances p1 of P1 there is some instance p2 of P2 such that p1 is the consequence of p2. Inverse of is_cause_of."^^xsd:string ;
              cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
              rdfs:label "caused by"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/disposition_of
mro:disposition_of rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf mro:realizable_entity_of ;
                   owl:inverseOf mro:has_disposition ;
                   rdfs:domain obo:BFO_0000016 ;
                   rdfs:range obo:BFO_0000004 ;
                   cco:definition "For types D and E where D is a type of Disposition and E is a type of Entity, D disposition of E if and only if for every instance d of D, there is some instance e of E such that d \"disposition of\" e. Here \"disposition of\" denotes the primitive instance level relation."^^xsd:string ;
                   cco:definition_source "http://www.berkeleybop.org/ontologies/obo-all/ro_proposed/ro_proposed.owl"^^xsd:string ;
                   cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                   rdfs:label "disposition of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/disposition_of_aggregate
mro:disposition_of_aggregate rdf:type owl:ObjectProperty ;
                             rdfs:subPropertyOf mro:inheres_in_aggregate ;
                             rdfs:domain obo:BFO_0000016 ;
                             rdfs:range obo:BFO_0000027 ;
                             cco:definition "An instance of a Disposition is disposition_of_aggregate some instance of a Object Aggregate if and only if there are distinct instances of the Disposition that is disposition_of each and every member of the Object Aggregate instance."^^xsd:string ;
                             cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                             rdfs:label "disposition of aggregate"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/function_of
mro:function_of rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf mro:disposition_of ;
                owl:inverseOf mro:has_function ;
                rdfs:domain obo:BFO_0000034 ;
                rdfs:range obo:BFO_0000004 ;
                cco:definition "A relation between a function F and an entity E. F function_of E iff: F inheres_in E and F is a function"^^xsd:string ;
                cco:definition_source "http://www.berkeleybop.org/ontologies/obo-all/ro_proposed/ro_proposed.owl"^^xsd:string ;
                cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                rdfs:label "function of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_accessory
mro:has_accessory rdf:type owl:ObjectProperty ;
                  rdfs:subPropertyOf mro:has_participant ;
                  rdfs:domain obo:BFO_0000015 ;
                  rdfs:range obo:BFO_0000040 ;
                  cco:definition "A Processual Entity p1 has_accessory some Agent a1 iff a1 assists in the commission of p1, is not located at the location of p1, and is not agent_in p1."^^xsd:string ;
                  cco:definition_source "http://en.wikipedia.org/wiki/Accessory_(legal_term)"^^xsd:string ;
                  cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                  rdfs:label "has accessory"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_accomplice
mro:has_accomplice rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf mro:has_participant ;
                   rdfs:domain obo:BFO_0000015 ;
                   rdfs:range obo:BFO_0000040 ;
                   cco:definition "An Processual Entity p1 has_accomplice some agent a1 iff a1 assists in the commission of p1, is located at the location of p1, but is not agent_in p1."^^xsd:string ;
                   cco:definition_source "http://en.wikipedia.org/wiki/Accomplice"^^xsd:string ;
                   cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                   rdfs:label "has accomplice"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_disposition
mro:has_disposition rdf:type owl:ObjectProperty ;
                    rdfs:subPropertyOf mro:has_realizable_entity ;
                    rdfs:domain obo:BFO_0000004 ;
                    rdfs:range obo:BFO_0000016 ;
                    cco:definition "For types E and D where E is a type of Entity and D is a type of Disposition, E has disposition D if and only if for all instances e of E there is some instance d of D such that e \"has disposition\" d. Here \"has disposition\" denotes the primitive instance level relation. Inverse of disposition_of."^^xsd:string ;
                    cco:definition_source "http://www.berkeleybop.org/ontologies/obo-all/ro-proposed/ro_proposed.owl"^^xsd:string ;
                    cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                    rdfs:label "has disposition"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_function
mro:has_function rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf mro:has_disposition ;
                 rdfs:domain obo:BFO_0000004 ;
                 rdfs:range obo:BFO_0000034 ;
                 cco:definition "Inverse of is function of"^^xsd:string ;
                 cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                 rdfs:label "has function"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_input
mro:has_input rdf:type owl:ObjectProperty ;
              rdfs:subPropertyOf mro:has_participant ;
              owl:inverseOf mro:is_input_of ;
              rdfs:domain obo:BFO_0000015 ;
              rdfs:range obo:BFO_0000002 ;
              cco:definition "Inverse of is_input_of, a relation between a Processual Entity and a Continuant such that the presence of the Continuant at the beginning of the Processual Entity is a necessary condition for the start of the Processual Entity."^^xsd:string ;
              cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
              rdfs:label "has input"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_member_of_located_in
mro:has_member_of_located_in rdf:type owl:ObjectProperty ;
                             rdfs:domain obo:BFO_0000027 ;
                             rdfs:range obo:BFO_0000040 ;
                             cco:definition "An instance of an Object Aggregate 'has member of located in' an instance of some material entity if and only if every member of that Aggregate is located in the same instance of that material entity."^^xsd:string ;
                             cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                             rdfs:label "has member of located in"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_output
mro:has_output rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf mro:has_participant ;
               owl:inverseOf mro:is_output_of ;
               rdfs:domain obo:BFO_0000015 ;
               rdfs:range obo:BFO_0000002 ;
               cco:definition "Inverse of is_output_of, a relation between a Processual Entity and a Continuant such that the presence of the Continuant at the end of the Processual Entity is a necessary condition for the completion of the Processual Entity"^^xsd:string ;
               cco:definition_source "https://en.wikipedia.org/wiki/IPO_model"^^xsd:string ;
               cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
               rdfs:label "has output"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_process_part
mro:has_process_part rdf:type owl:ObjectProperty ;
                     owl:inverseOf mro:is_part_of_process ;
                     rdfs:domain obo:BFO_0000015 ;
                     rdfs:range obo:BFO_0000015 ;
                     cco:definition "For processes P1 and P2, P1 has process part P2 if and only if P2 occurs on a temporal interval that is during the temporal interval of P1 and P2 either provides an input to P1, recieves an output of P1 or both."^^xsd:string ;
                     cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                     rdfs:label "has process part"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_quality
mro:has_quality rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf mro:bearer_of ;
                owl:inverseOf mro:quality_of ;
                rdfs:domain obo:BFO_0000004 ;
                rdfs:range obo:BFO_0000019 ;
                cco:definition "For types E and Q where E is a type of Entity and Q is a type of Quality, E has quality Q if and only if for every instance e of E there is some instance q of Q such that e \"has quality\" q. Here \"has quality\" denotes the primitive instance level relation. Inverse of quality_of."^^xsd:string ;
                cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                rdfs:label "has quality"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_realizable_entity
mro:has_realizable_entity rdf:type owl:ObjectProperty ;
                          rdfs:subPropertyOf mro:bearer_of ;
                          owl:inverseOf mro:realizable_entity_of ;
                          rdfs:domain obo:BFO_0000004 ;
                          rdfs:range obo:BFO_0000017 ;
                          cco:definition "For types E and R where E is a type of Entity and R is a type of Realizable Entity, E has realizable entity R if and only if for all instances e of E there is some instance r of R such that e \"has realizable entity\" r. Here \"has realizable entity\" denotes the primitive instance level relation. Inverse of realizable_entity_of."^^xsd:string ;
                          cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                          rdfs:label "has realizable entity"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_role
mro:has_role rdf:type owl:ObjectProperty ;
             rdfs:subPropertyOf mro:has_realizable_entity ;
             owl:inverseOf mro:role_of ;
             rdfs:domain obo:BFO_0000004 ;
             rdfs:range obo:BFO_0000023 ;
             cco:definition "For types E and R where E is a type of Entity and R is a type of Role, E has role R if and only if for all instances e of E there is some instance r of R such that e \"has role\" r. Here \"has role\" denotes the primitive instance level relation. Inverse of role_of."^^xsd:string ;
             cco:definition_source "http://www.berkeleybop.org/ontologies/obo-all/ro-proposed/ro_proposed.owl"^^xsd:string ;
             cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
             rdfs:label "has role"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/inheres_in
mro:inheres_in rdf:type owl:ObjectProperty ;
               rdfs:domain [ rdf:type owl:Class ;
                             owl:unionOf ( obo:BFO_0000020
                                           obo:BFO_0000031
                                         )
                           ] ;
               rdfs:range obo:BFO_0000004 ;
               cco:definition "For types T1 and T2, if T1 inheres in T2, then for all instances of T1, t1, there is some instance of T2, t2, such that t1 \"inheres in\" t2. Here, \"inheres in\" denotes the primitive instance level relation."^^xsd:string ;
               cco:definition_source "http://www.berkeleybop.org/ontologies/obo-all/ro_proposed/ro_proposed.owl "^^xsd:string ;
               cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
               rdfs:label "inheres in"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/inheres_in_aggregate
mro:inheres_in_aggregate rdf:type owl:ObjectProperty ;
                         rdfs:domain [ rdf:type owl:Class ;
                                       owl:unionOf ( obo:BFO_0000020
                                                     obo:BFO_0000031
                                                   )
                                     ] ;
                         rdfs:range obo:BFO_0000027 ;
                         cco:definition "An instance of a Dependent Continuant inheres_in_aggregate some instance of a Object Aggregate if and only if there are distinct instances of the Dependent Continuant that inhere_in each and every member of the Object Aggregate instance."^^xsd:string ;
                         cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                         rdfs:label "inheres in aggregate"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_affected_by
mro:is_affected_by rdf:type owl:ObjectProperty ;
                   rdfs:subPropertyOf mro:participates_in ;
                   rdfs:domain obo:BFO_0000002 ;
                   rdfs:range obo:BFO_0000015 ;
                   cco:definition "If c is a continuant and p is a process, the c is affected by p if and only if c undergoes some change as a result of the occurrence of p."^^xsd:string ;
                   cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                   rdfs:label "is affected by"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_cause_of
mro:is_cause_of rdf:type owl:ObjectProperty ;
                rdfs:domain obo:BFO_0000001 ;
                rdfs:range obo:BFO_0000003 ;
                cco:definition "For types of Processual Entities P1 and P2, P1 is cause of P2 if and only if for all instances p1 of P1 there is some instance p2 of P2 such that p1 is a causal factor in p2."^^xsd:string ;
                cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                rdfs:label "is cause of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_input_of
mro:is_input_of rdf:type owl:ObjectProperty ;
                rdfs:subPropertyOf mro:participates_in ;
                rdfs:domain obo:BFO_0000002 ;
                rdfs:range obo:BFO_0000015 ;
                cco:definition "A relation between a Continuant and a Processual Entity in which the Continuant participates. The presence of the Continuant at the begining of the Processual Entity is a necessary condition for the start of the Processual Entity."^^xsd:string ;
                cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                rdfs:label "is input of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_made_of
mro:is_made_of rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf owl:topObjectProperty ;
               owl:inverseOf mro:is_material_of ;
               rdfs:domain obo:BFO_0000030 ;
               rdfs:range obo:BFO_0000030 ;
               cco:definition "An object o is made of an object m when m is the material that o consists of and that material does not undergo a change of kind during the creation of o"^^xsd:string ;
               cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
               rdfs:label "is made of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_material_of
mro:is_material_of rdf:type owl:ObjectProperty ;
                   rdfs:domain obo:BFO_0000030 ;
                   rdfs:range obo:BFO_0000030 ;
                   cco:definition "An object m is material of an object o when m is the material of which o consists and that material does not undergo a change of kind during the creation of o"^^xsd:string ;
                   cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                   rdfs:label "is material of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_output_of
mro:is_output_of rdf:type owl:ObjectProperty ;
                 rdfs:subPropertyOf mro:participates_in ;
                 rdfs:domain obo:BFO_0000002 ;
                 rdfs:range obo:BFO_0000015 ;
                 cco:definition "A relation between a Continuant and a Processual Entity in which the Continuant participates. The presence of the Continuant at the end of the Processual Entity is a necessary condition for the completion of the Processual Entity."^^xsd:string ;
                 cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                 rdfs:label "is output of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_part_of_process
mro:is_part_of_process rdf:type owl:ObjectProperty ;
                       rdfs:domain obo:BFO_0000015 ;
                       rdfs:range obo:BFO_0000015 ;
                       cco:definition "Inverse of has process part"^^xsd:string ;
                       cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                       rdfs:label "is part of process"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_predecessor_of
mro:is_predecessor_of rdf:type owl:ObjectProperty ;
                      owl:inverseOf mro:is_successor_of ;
                      rdfs:domain obo:BFO_0000004 ;
                      rdfs:range obo:BFO_0000004 ;
                      cco:definition "A continuant c1 is a predecessor of some continuant c2 iff there is some process p1 and c1 is an input to p1 and c2 is an output of p1."^^xsd:string ;
                      cco:elucidation "More informally, c1 is a predecessor of c2 iff c1 has been followed or replaced by c2."^^xsd:string ;
                      cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                      rdfs:label "is predecessor of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_site_of
mro:is_site_of rdf:type owl:ObjectProperty ;
               owl:inverseOf mro:occurs_at ;
               rdfs:domain [ rdf:type owl:Class ;
                             owl:unionOf ( obo:BFO_0000006
                                           obo:BFO_0000029
                                         )
                           ] ;
               rdfs:range obo:BFO_0000015 ;
               cco:definition "A relation between some Spatial Region and some Processual Entity which holds whenever the Processual Entity occurs at that Spatial Region"^^xsd:string ;
               cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
               rdfs:label "is site of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_successor_of
mro:is_successor_of rdf:type owl:ObjectProperty ;
                    rdfs:domain obo:BFO_0000004 ;
                    rdfs:range obo:BFO_0000004 ;
                    cco:definition "A continuant c2 is a successor of some continuant c1 iff there is some process p1 and c1 is an input to p1 and c2 is an output of p1. Inverse of is predecessor. "^^xsd:string ;
                    cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                    rdfs:label "is successor of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_temporal_region_of
mro:is_temporal_region_of rdf:type owl:ObjectProperty ;
                          owl:inverseOf mro:occurs_on ;
                          rdfs:domain obo:BFO_0000008 ;
                          rdfs:range obo:BFO_0000015 ;
                          cco:definition "Inverse of occurs on."^^xsd:string ;
                          cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                          rdfs:label "is temporal region of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/occurs_at
mro:occurs_at rdf:type owl:ObjectProperty ;
              rdfs:domain obo:BFO_0000015 ;
              rdfs:range [ rdf:type owl:Class ;
                           owl:unionOf ( obo:BFO_0000006
                                         obo:BFO_0000029
                                       )
                         ] ;
              cco:definition "An instance level relation that holds between instances of Processual Entities and Spatial Regions whevever some spatial region is the site of some processual entity."^^xsd:string ;
              cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
              rdfs:label "occurs at"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/occurs_on
mro:occurs_on rdf:type owl:ObjectProperty ;
              rdfs:domain obo:BFO_0000015 ;
              rdfs:range obo:BFO_0000008 ;
              cco:definition "An instance level relation which holds between some Processual Entity and some Temporal Region whenever the duration of the Processual Entity is contained by the Temporal Region"^^xsd:string ;
              cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
              rdfs:label "occurs on"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/quality_of
mro:quality_of rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf mro:inheres_in ;
               rdfs:domain obo:BFO_0000019 ;
               rdfs:range obo:BFO_0000004 ;
               cco:definition "For types Q and E where Q is a type of Quality and E is a type of Entity, if Q is a quality of E, then for all instances q of Q there is some instance e of E such that q \"quality of\" e. Here, \"quality of\" denotes the primitive instance level relation."^^xsd:string ;
               cco:definition_source "http://www.berkeleybop.org/ontologies/obo-all/ro_proposed/ro_proposed.owl)"^^xsd:string ;
               cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
               rdfs:label "quality of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/quality_of_aggregate
mro:quality_of_aggregate rdf:type owl:ObjectProperty ;
                         rdfs:subPropertyOf mro:inheres_in_aggregate ;
                         rdfs:domain obo:BFO_0000019 ;
                         rdfs:range obo:BFO_0000027 ;
                         cco:definition "An instance of a Quality is quality_of_aggregate some instance of a Object Aggregate if and only if there are distinct instances of the Quality that is quality_of each and every member of the Object Aggregate instance."^^xsd:string ;
                         cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                         rdfs:label "quality of aggregate"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/realizable_entity_of
mro:realizable_entity_of rdf:type owl:ObjectProperty ;
                         rdfs:subPropertyOf mro:inheres_in ;
                         rdfs:domain obo:BFO_0000017 ;
                         rdfs:range obo:BFO_0000004 ;
                         cco:definition "For types R and E where R is a type of Realizable Entity and E is a type of Entity, R realizable entity of E if and only if for every instance r of R, there is some instance e of E such that r \"realizable entity of\" e. Here \"realizable entity of\" denotes the primitive instance level relation."^^xsd:string ;
                         cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                         rdfs:label "realizable entity of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/realized_by
mro:realized_by rdf:type owl:ObjectProperty ;
                owl:inverseOf mro:realizes ;
                rdfs:domain obo:BFO_0000017 ;
                rdfs:range obo:BFO_0000015 ;
                cco:definition "A relation between a Realizable Entity and a Processual Entity, inverse of realizes."^^xsd:string ;
                cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                rdfs:label "realized by"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/realizes
mro:realizes rdf:type owl:ObjectProperty ;
             rdfs:domain obo:BFO_0000015 ;
             rdfs:range obo:BFO_0000017 ;
             cco:definition "A Relation between a Process and a Function, where the unfolding of the process requires the execution of the function. Class level: P realizes F iff: given any p that instantiates P, there exists some f, t such that f instantiates F at t and p *realizes* f. Here, *realizes* is the primitive instance level relation"^^xsd:string ;
             cco:definition_source "http://www.berkeleybop.org/ontologies/obo-all/ro_proposed/ro_proposed.owl"^^xsd:string ;
             cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
             rdfs:label "realizes"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/role_of
mro:role_of rdf:type owl:ObjectProperty ;
            rdfs:subPropertyOf mro:realizable_entity_of ;
            rdfs:domain obo:BFO_0000023 ;
            rdfs:range obo:BFO_0000004 ;
            cco:definition "For types R and E where R is a type of Role and E is a type of Entity, if R role of E, then for all instances r of R there is some instance e of E such that r \"role of\" e. Here, \"role of\" denotes the primitive instance level relation."^^xsd:string ;
            cco:definition_source "http://www.berkeleybop.org/ontologies/obo-all/ro_proposed/ro_proposed.owl"^^xsd:string ;
            cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
            rdfs:label "role of"^^xsd:string .


###  http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/role_of_aggregate
mro:role_of_aggregate rdf:type owl:ObjectProperty ;
                      rdfs:subPropertyOf mro:inheres_in_aggregate ;
                      rdfs:domain obo:BFO_0000023 ;
                      rdfs:range obo:BFO_0000027 ;
                      cco:definition "An instance of a Role is role_of_aggregate some instance of a Object Aggregate if and only if there are distinct instances of the Role that is role_of each and every member of the Object Aggregate instance."^^xsd:string ;
                      cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Upper/ModalExtendedRelationOntology"^^xsd:string ;
                      rdfs:label "role of aggregate"^^xsd:string .



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