Files
CommonCoreOntologies/ModalRelationOntology.ttl
2023-03-13 12:13:30 -04:00

2837 lines
201 KiB
Turtle
Raw Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
@prefix : <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@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/Mid/ModalRelationOntology> .
<http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> rdf:type owl:Ontology ;
owl:versionIRI <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/2023-03-08/ModalRelationOntology> ;
rdfs:label "Modal Relation Ontology" ;
owl:versionInfo "Version 1.4" ;
rdfs:comment "The modal counterparts to relations contained in the Common Core Ontologies (CCO), including those CCO imports from the OBO Relation Ontology (RO)."@en .
#################################################################
# Object Properties
#################################################################
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000050
mro:BFO_0000050 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000051 ;
rdf:type owl:TransitiveProperty ;
obo:IAO_0000111 "is part of"@en ;
obo:IAO_0000112 "my brain is part of my body (continuant parthood, two material entities)"@en ,
"my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity)"@en ,
"this day is part of this year (occurrent parthood)"@en ;
obo:IAO_0000115 "a core relation that holds between a part and its whole"@en ;
obo:IAO_0000116 "Everything is part of itself. Any part of any part of a thing is itself part of that thing. Two distinct things cannot be part of each other."@en ,
"Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/"@en ,
"""Parthood requires the part and the whole to have compatible classes: only an occurrent can be part of an occurrent; only a process can be part of a process; only a continuant can be part of a continuant; only an independent continuant can be part of an independent continuant; only an immaterial entity can be part of an immaterial entity; only a specifically dependent continuant can be part of a specifically dependent continuant; only a generically dependent continuant can be part of a generically dependent continuant. (This list is not exhaustive.)
A continuant cannot be part of an occurrent: use 'participates in'. An occurrent cannot be part of a continuant: use 'has participant'. A material entity cannot be part of an immaterial entity: use 'has location'. A specifically dependent continuant cannot be part of an independent continuant: use 'inheres in'. An independent continuant cannot be part of a specifically dependent continuant: use 'bearer of'."""@en ;
obo:IAO_0000118 "part_of"@en ;
obo:RO_0001900 obo:RO_0001901 ;
obo:RO_0040042 obo:BFO_0000002 ,
obo:BFO_0000003 ,
obo:BFO_0000004 ,
obo:BFO_0000017 ,
obo:BFO_0000019 ,
obo:BFO_0000020 ,
obo:BFO_0000031 ;
<http://www.geneontology.org/formats/oboInOwl#inSubset> obo:valid_for_go_annotation_extension ,
obo:valid_for_go_gp2term ,
obo:valid_for_go_ontology ,
obo:valid_for_gocam ;
rdfs:label "part of"@en ;
rdfs:seeAlso <http://ontologydesignpatterns.org/wiki/Community:Parts_and_Collections> ,
<http://ontologydesignpatterns.org/wiki/Submissions:PartOf> ,
"http://www.obofoundry.org/ro/#OBO_REL:part_of" .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000051
mro:BFO_0000051 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:TransitiveProperty ;
obo:IAO_0000111 "has part"@en ;
obo:IAO_0000112 "my body has part my brain (continuant parthood, two material entities)"@en ,
"my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)"@en ,
"this year has part this day (occurrent parthood)"@en ;
obo:IAO_0000115 "a core relation that holds between a whole and its part"@en ;
obo:IAO_0000116 "Everything has itself as a part. Any part of any part of a thing is itself part of that thing. Two distinct things cannot have each other as a part."@en ,
"Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/"@en ,
"""Parthood requires the part and the whole to have compatible classes: only an occurrent have an occurrent as part; only a process can have a process as part; only a continuant can have a continuant as part; only an independent continuant can have an independent continuant as part; only a specifically dependent continuant can have a specifically dependent continuant as part; only a generically dependent continuant can have a generically dependent continuant as part. (This list is not exhaustive.)
A continuant cannot have an occurrent as part: use 'participates in'. An occurrent cannot have a continuant as part: use 'has participant'. An immaterial entity cannot have a material entity as part: use 'location of'. An independent continuant cannot have a specifically dependent continuant as part: use 'bearer of'. A specifically dependent continuant cannot have an independent continuant as part: use 'inheres in'."""@en ;
obo:IAO_0000118 "has_part"@en ;
obo:RO_0001900 obo:RO_0001901 ;
<http://www.geneontology.org/formats/oboInOwl#inSubset> obo:valid_for_go_annotation_extension ,
obo:valid_for_go_ontology ,
obo:valid_for_gocam ;
rdfs:label "has part"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000054
mro:BFO_0000054 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000055 ;
rdfs:domain obo:BFO_0000017 ;
rdfs:range obo:BFO_0000015 ;
obo:IAO_0000111 "realized in"@en ;
obo:IAO_0000112 "this disease is realized in this disease course"@en ,
"this fragility is realized in this shattering"@en ,
"this investigator role is realized in this investigation"@en ;
obo:IAO_0000118 "is realized by"@en ,
"realized_in"@en ;
obo:IAO_0000600 "[copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])"@en ;
rdfs:comment "Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process" ;
rdfs:isDefinedBy obo:bfo.owl ;
rdfs:label "realized in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000055
mro:BFO_0000055 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000017 ;
obo:IAO_0000111 "realizes"@en ;
obo:IAO_0000112 "this disease course realizes this disease"@en ,
"this investigation realizes this investigator role"@en ,
"this shattering realizes this fragility"@en ;
obo:IAO_0000600 "to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])"@en ;
rdfs:comment "Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process" ;
rdfs:isDefinedBy obo:iao.owl ;
rdfs:label "realizes"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000066
mro:BFO_0000066 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000067 ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000004 ;
owl:propertyChainAxiom ( mro:BFO_0000050
mro:BFO_0000066
) ,
( mro:BFO_0000066
mro:BFO_0000050
) ;
obo:IAO_0000111 "occurs in"@en ;
obo:IAO_0000115 "b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s where & b spatially_projects_onto s at t& c is occupies_spatial_region s at t& s is a proper_continuant_part_of s at t"@en ;
obo:IAO_0000118 "occurs_in"@en ,
"unfolds in"@en ,
"unfolds_in"@en ;
<http://www.geneontology.org/formats/oboInOwl#inSubset> obo:valid_for_go_annotation_extension ,
obo:valid_for_go_ontology ,
obo:valid_for_gocam ;
rdfs:comment "Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant" ;
rdfs:isDefinedBy obo:bfo.owl ;
rdfs:label "occurs in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000067
mro:BFO_0000067 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
obo:IAO_0000111 "site of"@en ;
obo:IAO_0000115 "[copied from inverse property 'occurs in'] b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s where & b spatially_projects_onto s at t& c is occupies_spatial_region s at t& s is a proper_continuant_part_of s at t"@en ;
rdfs:comment "Paraphrase of definition: a relation between an independent continuant and a process, in which the process takes place entirely within the independent continuant" ;
rdfs:isDefinedBy obo:bfo.owl ;
rdfs:label "contains process"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/ModalObjectProperty
mro:ModalObjectProperty rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology"^^xsd:anyURI ;
rdfs:comment "A term to group all types of modal properties, which is helpful for application purposes."@en ;
rdfs:label "Modal Object Property"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000052
mro:RO_0000052 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:RO_0000053 ;
obo:IAO_0000111 "inheres in"@en ;
obo:IAO_0000112 "this fragility inheres in this vase"@en ,
"this red color inheres in this apple"@en ;
obo:IAO_0000115 "a relation between a specifically dependent continuant (the dependent) and an independent continuant (the bearer), in which the dependent specifically depends on the bearer for its existence"@en ;
obo:IAO_0000116 "A dependent inheres in its bearer at all times for which the dependent exists."@en ;
obo:IAO_0000118 "inheres_in"@en ;
obo:RO_0001900 obo:RO_0001901 ;
rdfs:comment "NOTE: This is term is used within the CCO ecosystem based on it previous intended meaning, which is consistent with BFO in that an SDC must inhere in an IC which is not a Spatial Region."@en ;
rdfs:label "inheres in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000053
mro:RO_0000053 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:range obo:BFO_0000020 ;
obo:IAO_0000111 "bearer of"@en ;
obo:IAO_0000112 "this apple is bearer of this red color"@en ,
"this vase is bearer of this fragility"@en ;
obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a specifically dependent continuant (the dependent), in which the dependent specifically depends on the bearer for its existence"@en ;
obo:IAO_0000116 "A bearer can have many dependents, and its dependents can exist for different periods of time, but none of its dependents can exist when the bearer does not exist."@en ;
obo:IAO_0000118 "bearer_of"@en ,
"is bearer of"@en ;
obo:RO_0001900 obo:RO_0001901 ;
rdfs:comment "NOTE: This is term is used within the CCO ecosystem based on it previous intended meaning, which is consistent with BFO in that an SDC must inhere in an IC which is not a Spatial Region."@en ;
rdfs:label "bearer of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000056
mro:RO_0000056 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:RO_0000057 ;
rdfs:domain obo:BFO_0000002 ;
rdfs:range obo:BFO_0000003 ;
obo:IAO_0000111 "participates in"@en ;
obo:IAO_0000112 "this blood clot participates in this blood coagulation"@en ,
"this input material (or this output material) participates in this process"@en ,
"this investigator participates in this investigation"@en ;
obo:IAO_0000115 "a relation between a continuant and a process, in which the continuant is somehow involved in the process"@en ;
obo:IAO_0000118 "participates_in"@en ;
rdfs:label "participates in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000057
mro:RO_0000057 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000002 ;
owl:propertyChainAxiom ( mro:BFO_0000051
mro:BFO_0000055
mro:RO_0000052
) ,
( mro:BFO_0000051
mro:RO_0000057
) ;
obo:IAO_0000111 "has participant"@en ;
obo:IAO_0000112 "this blood coagulation has participant this blood clot"@en ,
"this investigation has participant this investigator"@en ,
"this process has participant this input material (or this output material)"@en ;
obo:IAO_0000115 "a relation between a process and a continuant, in which the continuant is somehow involved in the process"@en ;
obo:IAO_0000116 "Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time."@en ;
obo:IAO_0000118 "has_participant"@en ;
dc:source "http://www.obofoundry.org/ro/#OBO_REL:has_participant" ;
rdfs:label "has participant"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000058
mro:RO_0000058 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:RO_0000059 ;
rdfs:domain obo:BFO_0000031 ;
rdfs:range obo:BFO_0000020 ;
obo:IAO_0000112 "A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The journal article (a generically dependent continuant) is concretized as the quality (a specifically dependent continuant), and both depend on that copy of the printed journal (an independent continuant)."@en ,
"An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process)."@en ;
obo:IAO_0000115 "A relationship between a generically dependent continuant and a specifically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants."@en ;
rdfs:label "is concretized as"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000059
mro:RO_0000059 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000020 ;
rdfs:range obo:BFO_0000031 ;
obo:IAO_0000112 "A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The quality (a specifically dependent continuant) concretizes the journal article (a generically dependent continuant), and both depend on that copy of the printed journal (an independent continuant)."@en ,
"An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process)."@en ;
obo:IAO_0000115 "A relationship between a specifically dependent continuant and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. Multiple specifically dependent continuants can concretize the same generically dependent continuant."@en ;
rdfs:label "concretizes"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000079
mro:RO_0000079 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000052 ;
owl:inverseOf mro:RO_0000085 ;
rdfs:domain obo:BFO_0000034 ;
obo:IAO_0000112 "this catalysis function is a function of this enzyme"@en ;
obo:IAO_0000115 "a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence"@en ;
obo:IAO_0000116 "A function inheres in its bearer at all times for which the function exists, however the function need not be realized at all the times that the function exists."@en ;
obo:IAO_0000118 "function_of"@en ,
"is function of"@en ;
rdfs:label "function of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000080
mro:RO_0000080 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000052 ;
owl:inverseOf mro:RO_0000086 ;
obo:IAO_0000112 "this red color is a quality of this apple"@en ;
obo:IAO_0000115 "a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence"@en ;
obo:IAO_0000116 "A quality inheres in its bearer at all times for which the quality exists."@en ;
obo:IAO_0000118 "is quality of"@en ,
"quality_of"@en ;
rdfs:label "quality of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000081
mro:RO_0000081 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000052 ;
owl:inverseOf mro:RO_0000087 ;
obo:IAO_0000112 "this investigator role is a role of this person"@en ;
obo:IAO_0000115 "a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence"@en ;
obo:IAO_0000116 "A role inheres in its bearer at all times for which the role exists, however the role need not be realized at all the times that the role exists."@en ;
obo:IAO_0000118 "is role of"@en ,
"role_of"@en ;
rdfs:label "role of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000085
mro:RO_0000085 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000053 ;
rdfs:domain obo:BFO_0000004 ;
rdfs:range obo:BFO_0000034 ;
obo:IAO_0000112 "this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function)"@en ;
obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence"@en ;
obo:IAO_0000116 "A bearer can have many functions, and its functions can exist for different periods of time, but none of its functions can exist when the bearer does not exist. A function need not be realized at all the times that the function exists."@en ;
obo:IAO_0000118 "has_function"@en ;
rdfs:label "has function"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000086
mro:RO_0000086 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000053 ;
rdfs:range obo:BFO_0000019 ;
obo:IAO_0000112 "this apple has quality this red color"@en ;
obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence"@en ;
obo:IAO_0000116 "A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist."@en ;
obo:IAO_0000118 "has_quality"@en ;
rdfs:label "has quality"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000087
mro:RO_0000087 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000053 ;
rdfs:domain obo:BFO_0000004 ;
rdfs:range obo:BFO_0000023 ;
obo:IAO_0000112 "this person has role this investigator role (more colloquially: this person has this role of investigator)"@en ;
obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence"@en ;
obo:IAO_0000116 "A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists."@en ;
obo:IAO_0000118 "has_role"@en ;
rdfs:label "has role"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000091
mro:RO_0000091 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000053 ;
owl:inverseOf mro:RO_0000092 ;
rdfs:domain obo:BFO_0000004 ;
rdfs:range obo:BFO_0000016 ;
obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence"@en ;
rdfs:label "has disposition"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000092
mro:RO_0000092 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000052 ;
obo:IAO_0000115 "inverse of has disposition" ;
<http://www.geneontology.org/formats/oboInOwl#inSubset> obo:RO_0002259 ;
rdfs:label "disposition of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001000
mro:RO_0001000 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:RO_0001001 ;
obo:IAO_0000112 "this cell derives from this parent cell (cell division)"@en ,
"this nucleus derives from this parent nucleus (nuclear division)"@en ;
obo:IAO_0000114 obo:IAO_0000125 ;
obo:IAO_0000115 "a relation between two distinct material entities, the new entity and the old entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity"@en ;
obo:IAO_0000116 "This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops from'."@en ;
obo:IAO_0000118 "derives_from"@en ;
obo:IAO_0000232 "This relation is taken from the RO2005 version of RO. It may be obsoleted and replaced by relations with different definitions. See also the 'develops from' family of relations." ;
<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ro/subsets#ro-eco> ;
rdfs:label "derives from"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001001
mro:RO_0001001 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
obo:IAO_0000112 "this parent cell derives into this cell (cell division)"@en ,
"this parent nucleus derives into this nucleus (nuclear division)"@en ;
obo:IAO_0000114 obo:IAO_0000125 ;
obo:IAO_0000115 "a relation between two distinct material entities, the old entity and the new entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity"@en ;
obo:IAO_0000116 "This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops into'. To avoid making statements about a future that may not come to pass, it is often better to use the backward-looking 'derives from' rather than the forward-looking 'derives into'."@en ;
obo:IAO_0000118 "derives_into"@en ;
<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ro/subsets#ro-eco> ;
rdfs:label "derives into"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001015
mro:RO_0001015 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:RO_0001025 ;
rdf:type owl:TransitiveProperty ;
obo:IAO_0000111 "is location of"@en ;
obo:IAO_0000112 "my head is the location of my brain"@en ,
"this cage is the location of this rat"@en ;
obo:IAO_0000115 "a relation between two independent continuants, the location and the target, in which the target is entirely within the location"@en ;
obo:IAO_0000116 "Most location relations will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/"@en ;
obo:IAO_0000118 "location_of"@en ;
obo:RO_0001900 obo:RO_0001901 ;
rdfs:label "location of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001018
mro:RO_0001018 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:RO_0001019 ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000004 ;
owl:propertyChainAxiom ( mro:RO_0001025
mro:BFO_0000050
) ;
obo:IAO_0000111 "contained in"@en ;
obo:IAO_0000116 "Containment is location not involving parthood, and arises only where some immaterial continuant is involved." ,
"Containment obtains in each case between material and immaterial continuants, for instance: lung contained_in thoracic cavity; bladder contained_in pelvic cavity. Hence containment is not a transitive relation. If c part_of c1 at t then we have also, by our definition and by the axioms of mereology applied to spatial regions, c located_in c1 at t. Thus, many examples of instance-level location relations for continuants are in fact cases of instance-level parthood. For material continuants location and parthood coincide. Containment is location not involving parthood, and arises only where some immaterial continuant is involved. To understand this relation, we first define overlap for continuants as follows: c1 overlap c2 at t =def for some c, c part_of c1 at t and c part_of c2 at t. The containment relation on the instance level can then be defined (see definition):"@en ,
"""Intended meaning:
domain: material entity
range: spatial region or site (immaterial continuant)
"""@en ;
obo:IAO_0000118 "contained_in"@en ;
obo:RO_0001900 obo:RO_0001901 ;
<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ro/subsets#ro-eco> ;
rdfs:label "contained in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001019
mro:RO_0001019 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
obo:IAO_0000111 "contains"@en ;
obo:RO_0001900 obo:RO_0001901 ;
<http://www.geneontology.org/formats/oboInOwl#inSubset> <http://purl.obolibrary.org/obo/ro/subsets#ro-eco> ;
rdfs:label "contains"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001025
mro:RO_0001025 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000004 ;
rdfs:range obo:BFO_0000004 ;
owl:propertyChainAxiom ( mro:RO_0001025
mro:BFO_0000050
) ;
obo:IAO_0000111 "located in"@en ;
obo:IAO_0000112 "my brain is located in my head"@en ,
"this rat is located in this cage"@en ;
obo:IAO_0000115 "a relation between two independent continuants, the target and the location, in which the target is entirely within the location"@en ;
obo:IAO_0000116 "Location as a relation between instances: The primitive instance-level relation c located_in r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is part_of the spatial region occupied by c1. Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus"@en ,
"Most location relations will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/"@en ;
obo:IAO_0000118 "located_in"@en ;
obo:RO_0001900 obo:RO_0001901 ;
dc:source "http://www.obofoundry.org/ro/#OBO_REL:located_in" ;
rdfs:label "located in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0002000
mro:RO_0002000 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:RO_0002002 ;
obo:IAO_0000112 "the surface of my skin is a 2D boundary of my body"@en ;
obo:IAO_0000115 "a relation between a 2D immaterial entity (the boundary) and a material entity, in which the boundary delimits the material entity"@en ;
obo:IAO_0000116 "A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts."@en ,
"Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape."@en ;
obo:IAO_0000118 "2D_boundary_of"@en ,
"boundary of"@en ,
"is 2D boundary of"@en ,
"is boundary of"@en ,
"surface of"@en ;
obo:RO_0001900 obo:RO_0001901 ;
rdfs:label "2D boundary of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0002002
mro:RO_0002002 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000141 ;
obo:IAO_0000112 "my body has 2D boundary the surface of my skin"@en ;
obo:IAO_0000115 "a relation between a material entity and a 2D immaterial entity (the boundary), in which the boundary delimits the material entity"@en ;
obo:IAO_0000116 "A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts."@en ,
"Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape."@en ;
obo:IAO_0000117 <https://orcid.org/0000-0002-7073-9172> ;
obo:IAO_0000118 "has boundary"@en ,
"has_2D_boundary"@en ;
obo:RO_0001900 obo:RO_0001901 ;
rdfs:label "has 2D boundary"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0002350
mro:RO_0002350 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000050 ;
owl:inverseOf mro:RO_0002351 ;
obo:IAO_0000112 "An organism that is a member of a population of organisms" ;
obo:IAO_0000115 "is member of is a mereological relation between a item and a collection." ;
obo:IAO_0000118 "is member of" ,
"member part of" ;
obo:IAO_0000119 "SIO" ;
obo:RO_0001900 obo:RO_0001901 ;
rdfs:label "member of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0002351
mro:RO_0002351 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000051 ;
rdf:type owl:IrreflexiveProperty ;
obo:IAO_0000115 "has member is a mereological relation between a collection and an item." ;
obo:IAO_0000119 "SIO" ;
obo:RO_0001900 obo:RO_0001901 ;
rdfs:label "has member"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0010001
mro:RO_0010001 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:RO_0010002 ;
rdfs:domain obo:BFO_0000031 ;
rdfs:range obo:BFO_0000004 ;
owl:propertyChainAxiom ( mro:RO_0000052
mro:RO_0000058
) ;
obo:IAO_0000112 "Genetic information generically depend on molecules of DNA." ,
"The novel *War and Peace* generically depends on this copy of the novel." ,
"The pattern shared by chess boards generically depends on any chess board." ,
"The score of a symphony g-depends on a copy of the score." ,
"This pdf file generically depends on this server." ;
obo:IAO_0000115 "A generically dependent continuant *b* generically depends on an independent continuant *c* at time *t* means: there inheres in *c* a specifically deendent continuant which concretizes *b* at *t*." ;
obo:IAO_0000119 "[072-ISO]" ;
<http://www.geneontology.org/formats/oboInOwl#hasExactSynonym> "g-depends on" ;
rdfs:label "generically depends on" .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0010002
mro:RO_0010002 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000004 ;
rdfs:range obo:BFO_0000031 ;
owl:propertyChainAxiom ( mro:RO_0000059
mro:RO_0000053
) ;
obo:IAO_0000112 "Molecules of DNA are carriers of genetic information." ,
"This copy of *War and Peace* is carrier of the novel written by Tolstoy." ,
"This hard drive is carrier of these data items." ;
obo:IAO_0000115 "*b* is carrier of *c* at time *t* if and only if *c* *g-depends on* *b* at *t*" ;
obo:IAO_0000119 "[072-ISO]" ;
rdfs:label "is carrier of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/accessory_in
mro:accessory_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000056 ;
owl:inverseOf mro:has_accessory ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000015 ;
cco:definition "y is_accessory_in x iff x is an instance of Process and y is an instance of Agent, such that y assists another agent in the commission of x, and y was not located at the location of x when x occurred, and y was not an agent_in x."@en ;
cco:definition_source "http://en.wikipedia.org/wiki/Accessory_(legal_term)" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "accessory in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/accomplice_in
mro:accomplice_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000056 ;
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."@en ;
cco:definition_source "https://en.wikipedia.org/w/index.php?title=Accomplice&oldid=1002047204"^^xsd:anyURI ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "accomplice in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/affects
mro:affects rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000057 ;
owl:inverseOf mro:is_affected_by ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000002 ;
cco:definition "p affects c iff p is an instance of a Process and c is an instance of a Continuant, such that p influences c in some manner, most often by producing a change in c."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "affects"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/agent_in
mro:agent_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000056 ;
owl:inverseOf mro:has_agent ;
cco:definition "x agent_in y iff y is an instance of Process and x is an instance of Agent, such that x is causally active in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "agent in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_bearer_of
mro:aggregate_bearer_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:inheres_in_aggregate ;
rdfs:domain obo:BFO_0000027 ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000020
obo:BFO_0000031
)
] ;
cco:definition "x aggregate_bearer_of y iff x is an instance of Object Aggregate and y is an instance of Specifically Dependent Continuant and z is an instance of Object, such that z bearer of y, and all other members of x are bearers of a unique instance of the same type as y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "aggregate bearer of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_has_capability
mro:aggregate_has_capability rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:aggregate_bearer_of ;
owl:inverseOf mro:capability_of_aggregate ;
rdfs:domain cco:GroupOfAgents ;
rdfs:range cco:AgentCapability ;
cco:definition "x aggregate_has_capability y iff x is an instance of Object Aggregate and y is an instance of Agent Capability, such that x is aggregate bearer of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "aggregate has capability"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_has_disposition
mro:aggregate_has_disposition rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:aggregate_bearer_of ;
owl:inverseOf mro:disposition_of_aggregate ;
rdfs:domain obo:BFO_0000027 ;
rdfs:range obo:BFO_0000016 ;
cco:definition "x aggregate_has_disposition y iff x is an instance of Object Aggregate and y is an instance of Disposition, such that x aggregate_bearer_of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "aggregate has disposition"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_has_quality
mro:aggregate_has_quality rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:aggregate_bearer_of ;
rdfs:domain obo:BFO_0000027 ;
rdfs:range obo:BFO_0000019 ;
cco:definition "x aggregate_has_quality y iff x is an instance of Object Aggregate and y is an instance of Quality, such that x aggregate_bearer_of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "aggregate has quality"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/aggregate_has_role
mro:aggregate_has_role rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:aggregate_bearer_of ;
rdfs:domain obo:BFO_0000027 ;
rdfs:range obo:BFO_0000023 ;
cco:definition "x aggregate_has_role y iff x is an instance of Object Aggregate and y is an instance of Role, such that x aggregate_bearer_of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "aggregate has role"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/capability_of
mro:capability_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000052 ;
owl:inverseOf mro:has_capability ;
rdfs:domain cco:AgentCapability ;
rdfs:range cco:Agent ;
cco:definition "x capability_of y iff y is an instance of Agent and x is an instance of Agent Capability, such that x inheres in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "capability of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/capability_of_aggregate
mro:capability_of_aggregate rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:inheres_in_aggregate ;
rdfs:domain cco:AgentCapability ;
rdfs:range cco:GroupOfAgents ;
cco:definition "x capability_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Agent Capability, such that x inheres in aggregate y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "capability of aggregate"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/caused_by
mro:caused_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_cause_of ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
cco:definition "x caused_by y iff x and y are instances of occurrents, and x is a consequence of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "caused by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/coincides_with
mro:coincides_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:connected_with ;
rdf:type owl:SymmetricProperty ,
owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "An immaterial entity im1 coincides with some immaterial entity im2 iff im1 is a spatial part of im2 and im2 is a spatial part of im1."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "coincides with"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/condition_described_by
mro:condition_described_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:describes_condition ;
owl:propertyChainAxiom ( mro:described_by
mro:BFO_0000050
) ;
cco:definition "c condition_described_by p iff p is an instance of a Performance Specification, and p has part d, and d is an instance of a Descriptive Information Content Entity, and p prescribes an entity s, and d describes c, and c is an entity that is causally relevant to s existing as prescribed by p."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "condition described by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/connected_with
mro:connected_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:SymmetricProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "An immaterial entity im1 is connected with some immaterial entity im2 iff there exists some immaterial entity im3 that is common to both im1 and im2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "connected with"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/delimits
mro:delimits rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_delimited_by ;
rdf:type owl:FunctionalProperty ,
owl:InverseFunctionalProperty ;
rdfs:domain cco:GeopoliticalEntity ;
rdfs:range cco:Organization ;
cco:definition "An instance of Geopolitical Entity gpe1 delimits some Organization o1 iff gpe1 is the area within which o1 can legally operate."@en ;
cco:definition_source "https://en.wikipedia.org/w/index.php?title=Boundary_delimitation&oldid=1039137603"^^xsd:anyURI ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "delimits"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/described_by
mro:described_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_subject_of ;
owl:inverseOf mro:describes ;
rdfs:range cco:DescriptiveInformationContentEntity ;
cco:definition "x described_by y iff y is an instance of Information Content Entity, and x is an instance of Entity, such that y is about the characteristics by which y can be recognized or visualized."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "described by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/describes
mro:describes rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_about ;
rdfs:domain cco:DescriptiveInformationContentEntity ;
cco:definition "x describes y iff x is an instance of Information Content Entity, and y is an instance of Entity, such that x is about the characteristics by which y can be recognized or visualized."@en ;
cco:example_of_usage "the content of a newspaper article describes some current event" ,
"the content of a visitor's log describes some facility visit" ,
"the content of an accident report describes some accident" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:comment "It is possible that this relation should be a functional property, that is for all x, y, z if x describes y and x describes z then y = z. For example, if a financial report x describes the quarterly results of a company y and that same financial report describes the quarterly results of a company z, then it should be inferred that companies y and z are the same. We refrained from classifying the relation as a functional property on the concern that descriptions are multifaceted and so consequently it may be that the same report would contain descriptions of multiple entities."@en ;
rdfs:label "describes"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/describes_condition
mro:describes_condition rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:propertyChainAxiom ( mro:BFO_0000051
mro:describes
) ;
cco:definition "p describes_condition c iff p is an instance of a Performance Specification, and p has part d, and d is an instance of a Descriptive Information Content Entity, and p prescribes an entity s, and d describes c, and c is an entity that is causally relevant to s existing as prescribed by p."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "describes condition"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/designated_by
mro:designated_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_subject_of ;
owl:inverseOf mro:designates ;
rdf:type owl:InverseFunctionalProperty ;
rdfs:range cco:DesignativeInformationContentEntity ;
cco:definition "x designated_by y iff y is an instance of Information Content Entity and x is an instance of Entity, such that given some context, y uniquely distinguishes x from other entities."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "designated by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/designates
mro:designates rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_about ;
rdf:type owl:FunctionalProperty ;
rdfs:domain cco:DesignativeInformationContentEntity ;
cco:definition "x designates y iff x is an instance of an Information Content Entity, and y is an instance of an Entity, such that given some context, x uniquely distinguishes y from other entities."@en ;
cco:example_of_usage "a URL designates the location of a Web Page on the internet" ,
"a person's name designates that person" ,
"a vehicle identification number designates some vehicle" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "designates"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/disconnected_with
mro:disconnected_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:SymmetricProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "An immaterial entity im1 is disconnected with some immaterial entity im2 iff there does not exist some immaterial entity im3 that is common to both im1 and im2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "disconnected with"@en .
### 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 "x disposition_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Disposition, such that x disposition_of_aggregate y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "disposition of aggregate"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/externally_connects_with
mro:externally_connects_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:connected_with ;
rdf:type owl:SymmetricProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "An immaterial entity im1 externally connects with some immaterial entity im2 iff im1 connects with im2 and im1 does not overlap with im2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "externally connects with"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_accessory
mro:has_accessory rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000057 ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000040 ;
cco:definition "x has_accessory y iff x is an instance of Process and y is an instance of Agent, such that y assists another agent in the commission of x, and y was not located at the location of x when x occurred, and y was not an agent_in x."@en ;
cco:definition_source "http://en.wikipedia.org/wiki/Accessory_(legal_term)" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has accessory"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_accomplice
mro:has_accomplice rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000057 ;
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."@en ;
cco:definition_source "https://en.wikipedia.org/w/index.php?title=Accomplice&oldid=1002047204"^^xsd:anyURI ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has accomplice"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_affiliate
mro:has_affiliate rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_affiliated_with ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( cco:Agent
cco:Organization
cco:Person
)
] ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( cco:Agent
cco:Organization
cco:Person
)
] ;
cco:definition "x is_affiliated_with y iff x and y are instances of Agent, such that they have any kind of social or business relationship."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has affiliate"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_agent
mro:has_agent rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000057 ;
cco:definition "x has_agent y iff x is an instance of Process and y is an instance of Agent, such that y is causally active in x."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has agent"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_aunt
mro:has_aunt rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_aunt_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has aunt"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_brother
mro:has_brother rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_sibling_of ;
owl:inverseOf mro:is_brother_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has brother"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_brother_in_law
mro:has_brother_in_law rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
owl:inverseOf mro:is_brother_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has brother in law"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_capability
mro:has_capability rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000053 ;
rdfs:domain cco:Agent ;
rdfs:range cco:AgentCapability ;
cco:definition "x has_capability y iff x is an instance of Agent and y is an instance of Agent Capability, such that x bearer of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has capability"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_daughter
mro:has_daughter rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_parent_of ;
owl:inverseOf mro:is_daughter_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has daughter"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_daughter_in_law
mro:has_daughter_in_law rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
owl:inverseOf mro:is_daughter_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has daughter in law"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_ending_instant
mro:has_ending_instant rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_ending_instant_of ;
rdf:type owl:FunctionalProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000148 ;
cco:definition "For Temporal Interval t1 and Temporal Instant t2, t1 has ending instant t2 if and only if no Temporal Instant t3 that is part of t1 is after t2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has ending instant"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_familial_relationship_to
mro:has_familial_relationship_to rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain cco:Person ;
rdfs:range cco:Person ;
cco:definition "A relationship between persons by virtue of ancestry or legal union."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has familial relationship to"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_father
mro:has_father rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_child_of ;
owl:inverseOf mro:is_father_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has father"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_father_in_law
mro:has_father_in_law rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
owl:inverseOf mro:is_father_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has father in law"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_granddaughter
mro:has_granddaughter rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandparent_of ;
owl:inverseOf mro:is_granddaughter_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has granddaughter"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_grandfather
mro:has_grandfather rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandchild_of ;
owl:inverseOf mro:is_grandfather_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has grandfather"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_grandmother
mro:has_grandmother rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandchild_of ;
owl:inverseOf mro:is_grandmother_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has grandmother"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_grandson
mro:has_grandson rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandparent_of ;
owl:inverseOf mro:is_grandson_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has grandson"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_half_brother
mro:has_half_brother rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_half_sibling_of ;
owl:inverseOf mro:is_half_brother_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has half brother"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_half_sister
mro:has_half_sister rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_half_sibling_of ;
owl:inverseOf mro:is_half_sister_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has half sister"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_husband
mro:has_husband rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_spouse_of ;
owl:inverseOf mro:is_husband_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has husband"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_input
mro:has_input rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000057 ;
owl:inverseOf mro:is_input_of ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000002 ;
cco:definition "y has_input x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the begining of y is a necessary condition for the start of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has input"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_inside_instant
mro:has_inside_instant rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_inside_instant_of ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000148 ;
cco: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 ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has inside instant"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_inside_interval
mro:has_inside_interval rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:interval_contains ;
owl:inverseOf mro:interval_during ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A Temporal Interval INT2 has inside interval some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, inst3, and 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, inst3 is before inst1, and inst2 is before inst4."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has inside interval"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_maternal_aunt
mro:has_maternal_aunt rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_aunt ;
owl:inverseOf mro:is_maternal_aunt_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has maternal aunt"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_maternal_first_cousin
mro:has_maternal_first_cousin rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_first_cousin_of ;
owl:inverseOf mro:is_maternal_first_cousin_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has maternal first cousin"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_maternal_grandfather
mro:has_maternal_grandfather rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_grandfather ;
owl:inverseOf mro:is_maternal_grandfather_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has maternal grandfather"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_maternal_grandmother
mro:has_maternal_grandmother rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_grandmother ;
owl:inverseOf mro:is_maternal_grandmother_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has maternal grandmother"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_maternal_uncle
mro:has_maternal_uncle rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_uncle ;
owl:inverseOf mro:is_maternal_uncle_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has maternal uncle"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_member_of_located_in
mro:has_member_of_located_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
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."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has member of located in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_mother
mro:has_mother rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_child_of ;
owl:inverseOf mro:is_mother_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has mother"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_mother_in_law
mro:has_mother_in_law rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
owl:inverseOf mro:is_mother_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has mother in law"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_nephew
mro:has_nephew rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_nephew_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has nephew"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_niece
mro:has_niece rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_niece_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has niece"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_nontangential_part
mro:has_nontangential_part rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_spatial_part ;
owl:inverseOf mro:nontangential_part_of ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "x has_nontangential_part y iff x and y are instances of Immaterial Entity, and x has_spatial_part y, such that there does not exist another instance of an Immaterial Entity which externally connects with both x and y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has nontangential part"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_object
mro:has_object rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000057 ;
owl:inverseOf mro:is_object_of ;
cco:definition "If p is a process and c is a continuant, then p has object c if and only if the c is part of the projected state that the agent intends to achieve by performing p."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has object"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_organizational_context
mro:has_organizational_context rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_organizational_context_of ;
rdfs:domain obo:BFO_0000023 ;
rdfs:range cco:Organization ;
cco:definition "x has_organizational_context y iff y is an instance of an Organization and x is an instance of a Role and z is an instance of a Person, such that z's affiliation with y is a prerequisite for z bearing x or y ascribes x to the bearer of x."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has organizational context"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_output
mro:has_output rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000057 ;
owl:inverseOf mro:is_output_of ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000002 ;
cco:definition "y has_output x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the end of y is a necessary condition for the completion of y."@en ;
cco:definition_source "https://en.wikipedia.org/w/index.php?title=IPO_model&oldid=1024398398"^^xsd:anyURI ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has output"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_parent
mro:has_parent rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_parent_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has parent"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_paternal_aunt
mro:has_paternal_aunt rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_aunt ;
owl:inverseOf mro:is_paternal_aunt_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has paternal aunt"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_paternal_first_cousin
mro:has_paternal_first_cousin rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_first_cousin_of ;
owl:inverseOf mro:is_paternal_first_cousin_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has paternal first cousin"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_paternal_grandfather
mro:has_paternal_grandfather rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_grandfather ;
owl:inverseOf mro:is_paternal_grandfather_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has paternal grandfather"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_paternal_grandmother
mro:has_paternal_grandmother rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_grandmother ;
owl:inverseOf mro:is_paternal_grandmother_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has paternal grandmother"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_paternal_uncle
mro:has_paternal_uncle rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_uncle ;
owl:inverseOf mro:is_paternal_uncle_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has paternal uncle"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_process_part
mro:has_process_part rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000051 ;
owl:inverseOf mro:is_part_of_process ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000015 ;
cco:definition "x has_process_part y iff x and y are instances of Process, such that y occurs during the temporal interval of x, and y either provides an input to x or receives an output of x, or both."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has process part"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_recipient
mro:has_recipient rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000057 ;
owl:inverseOf mro:receives ;
rdfs:range cco:Agent ;
cco:definition "x has_recipient y iff y is an instance of Agent and x is an instance of Act Of Communication, such that y is the recipient and decoder of the InformationContentEntity intended for communication in x."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has recipient"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_sender
mro:has_sender rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000057 ;
owl:inverseOf mro:sends ;
rdfs:range cco:Agent ;
cco:definition "y has_sender x iff x is an instance of Agent and y is an instance of Act Of Communication, such that x is the initiator and encoder of the InformationContentEntity intended for communication in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has sender"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_sister
mro:has_sister rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_sibling_of ;
owl:inverseOf mro:is_sister_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has sister"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_sister_in_law
mro:has_sister_in_law rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
owl:inverseOf mro:is_sister_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has sister in law"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_son
mro:has_son rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_parent_of ;
owl:inverseOf mro:is_son_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has son"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_son_in_law
mro:has_son_in_law rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
owl:inverseOf mro:is_son_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has son in law"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_spatial_part
mro:has_spatial_part rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000051 ,
mro:connected_with ;
owl:inverseOf mro:spatial_part_of ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "y has_spatial_part x iff x, y, z, and q are instances of Immaterial Entity, such that for any z connected with x, z is also connected with y, and q is connected with y but not connected with x."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has spatial part"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_starting_instant
mro:has_starting_instant rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_starting_instant_of ;
rdf:type owl:FunctionalProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000148 ;
cco:definition "For Temporal Interval t1 and Temporal Instant t2, t1 has starting instant t2 if and only if no temporal instant t3 that is part of t1 is before t2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has starting instant"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_step_brother
mro:has_step_brother rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_step_sibling_of ;
owl:inverseOf mro:is_step_brother_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has step brother"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_step_sister
mro:has_step_sister rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_step_sibling_of ;
owl:inverseOf mro:is_step_sister_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has step sister"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_subordinate_role
mro:has_subordinate_role rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_subordinate_role_to ;
rdfs:domain obo:BFO_0000023 ;
rdfs:range obo:BFO_0000023 ;
cco:definition "For all x,y,t: x has subordinate role y at t iff: x is an instance of bfo:BFO_0000023 (Role) at time t, and y is an instance of bfo:BFO_0000023 (Role) at time t, and there is some z such that x is realized by z and z is an instance of Act which creates, modifies, transfers, or eliminates some u such that u is an Action Regulation at time t, and u is addressed to the bearer of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has subordinate role"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_subsidiary
mro:has_subsidiary rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_affiliate ;
owl:inverseOf mro:is_subsidiary_of ;
rdfs:domain cco:Organization ;
rdfs:range cco:Organization ;
cco:definition "An Organization o1 has_subsidiary Organization o2 iff o1 controls o2 by having the capacity to determine the outcome of decisions about o2's financial and operating policies."@en ;
cco:definition_source "http://www.austlii.edu.au/legis/cth/consol_act/ca2001172/s50aa.html" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has subsidiary"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_tangential_part
mro:has_tangential_part rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_spatial_part ;
owl:inverseOf mro:tangential_part_of ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "x has_tangential_part y iff x, y, and z are instances of Immaterial Entity, and x has_spatial_part y, such that z externally connects with both x and y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has tangential part"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_uncle
mro:has_uncle rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_uncle_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has uncle"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_wife
mro:has_wife rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_spouse_of ;
owl:inverseOf mro:is_wife_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has wife"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/inheres_in_aggregate
mro:inheres_in_aggregate rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000020
obo:BFO_0000031
)
] ;
rdfs:range obo:BFO_0000027 ;
cco:definition "x inheres_in_aggregate y iff x is an instance of Specifically Dependent Continuant and y is an instance of Object Aggregate and z is an instance of Object, such that z bearer_of x, and all other members of y are bearers of a unique instance of the same type as x."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "inheres in aggregate"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/instant_is_after
mro:instant_is_after rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:instant_is_before ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000148 ;
rdfs:range obo:BFO_0000148 ;
cco:definition "A temporal instant t2 (a instance of a zero-dimensional temporal region) is after another temporal instant t1 iff there exists some instance of a temporal interval ti1 such that t1 is the starting instant of ti1 and t2 is the ending instant of ti1."@en ;
cco:elucidation "'instant is after' is a primitive relationship. Informally, a temporal instant t2 is after some temporal instant t1 if and only if t1 precedes t2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "instant is after"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/instant_is_before
mro:instant_is_before rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000148 ;
rdfs:range obo:BFO_0000148 ;
cco:definition "A temporal instant t1 (a instance of a zero-dimensional temporal region) is before another temporal instant t2 iff there exists some instance of a temporal interval ti1 such that t1 is the starting instant of ti1 and t2 is the ending instant of ti1."@en ;
cco:elucidation "'instant is before' is a primitive relationship. Informally, a temporal instant t1 is before some temporal instant t2 if and only if t1 precedes t2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "instant is before"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_contained_by
mro:interval_contained_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:interval_contains ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
owl:propertyDisjointWith mro:interval_disjoint ;
cco:definition "A Temporal Interval INT1 is contained by some Temporal Interval INT2 iff there exist Temporal Instants inst1, inst2, inst3, and 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, inst3 is before or identical to inst1, inst2 is before or identical to inst4, and it is not the case that both inst3 is identical to inst1 and inst2 is identical to inst4."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval contained by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_contains
mro:interval_contains rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
owl:propertyDisjointWith mro:interval_disjoint ;
cco:definition "A Temporal Interval INT2 contains some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, inst3, and 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, inst3 is before or identical to inst1, and inst2 is before or identical to inst4, but it is not the case that both inst3 is identical to inst1 and inst2 is identical to inst4."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval contains"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_disjoint
mro:interval_disjoint rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
owl:propertyDisjointWith mro:interval_equals ,
mro:interval_overlapped_by ,
mro:interval_overlaps ;
cco:definition "A Temporal Interval INT1 is disjoint with a Temporal Interval INT2 iff INT1 is before or meets INT2 OR INT2 is before or meets INT1. In other words, INT1 and INT2 are disjoint iff INT1 and INT2 do not overlap, contain, or equal one another."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval disjoint"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_during
mro:interval_during rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:interval_contained_by ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A Temporal Interval INT1 is during some Temporal Interval INT2 iff there exist Temporal Instants inst1, inst2, inst3, and 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, inst3 is before inst1, and inst2 is before inst4."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval during"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_equals
mro:interval_equals rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:SymmetricProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A Temporal Interval INT1 is equal to some Temporal Interval INT2 iff there exists Temporal Instants inst1 and inst2 such that inst1 is the starting instant of both INT1 and INT2 and inst2 is the ending instant of both INT1 and INT2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval equals"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_finished_by
mro:interval_finished_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:interval_contains ;
owl:inverseOf mro:interval_finishes ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A Temporal Interval INT2 is finished by some Temporal Interval INT1 iff there exists Temporal Instants inst1, inst2, and inst3 such that inst 1 is the starting instant of INT1, inst2 is the ending instant of both INT1 and INT2, inst3 is the starting instant of INT2, and inst3 is before inst1."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval finished by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_finishes
mro:interval_finishes rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:interval_contained_by ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A Temporal Interval INT1 finishes some Temporal Interval INT2 iff there exists Temporal Instants inst1, inst2, and inst3 such that inst 1 is the starting instant of INT1, inst2 is the ending instant of both INT1 and INT2, inst3 is the starting instant of INT2, and inst3 is before inst1."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval finishes"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_is_after
mro:interval_is_after rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:interval_disjoint ;
owl:inverseOf mro:interval_is_before ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A TemporalInterval INT2 is after some TemporalInterval INT1 iff there exists TemporalInstants inst2, inst1 such that inst2 is the starting instant of INT2 and inst1 is the ending instant of INT1 and inst2 is after inst1."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval is after"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_is_before
mro:interval_is_before rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:interval_disjoint ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A TemporalInterval INT1 is before some TemporalInterval INT2 iff there exists TemporalInstants inst1, inst2 such that inst1 is the ending instant of INT1 and inst2 is the starting instant of INT2 and inst1 is before inst2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval is before"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_meets
mro:interval_meets rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:interval_disjoint ;
owl:inverseOf mro:interval_met_by ;
rdf:type owl:IrreflexiveProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A Temporal Interval INT1 meets some Temporal Interval INT2 iff there exists some Temporal Instant inst1 such that inst1 is the ending instant of INT1 and inst1 is the starting instant of INT2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval meets"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_met_by
mro:interval_met_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:interval_disjoint ;
rdf:type owl:IrreflexiveProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A Temporal Interval INT2 is met by some Temporal Interval INT1 iff there exists some Temporal Instant inst1 such that inst1 is the starting instant of INT2 and inst1 is the ending instant of INT1."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval met by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_overlapped_by
mro:interval_overlapped_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:interval_overlaps ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco: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 ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval overlapped by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_overlaps
mro:interval_overlaps rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A Temporal Interval INT1 overlaps some Temporal Interval INT2 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 ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval overlaps"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_started_by
mro:interval_started_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:interval_contains ;
owl:inverseOf mro:interval_starts ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A Temporal Interval INT2 is started by some Temporal Interval INT1 iff there exist Temporal Instants inst1, inst2, and inst3 such that inst1 is the starting instant of both INT1 and INT2, inst2 is the ending instant of INT1, inst3 is the ending instant of INT2 and inst2 is before inst3."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval started by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/interval_starts
mro:interval_starts rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:interval_contained_by ;
rdfs:domain obo:BFO_0000038 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "A Temporal Interval INT1 starts some Temporal Interval INT2 iff there exist Temporal Instants inst1, inst2, and inst3 such that inst1 is the starting instant of both INT1 and INT2, inst2 is the ending instant of INT1, inst3 is the ending instant of INT2 and inst2 is before inst3."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "interval starts"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_a_interval_measurement_of
mro:is_a_interval_measurement_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_a_measurement_of ;
owl:inverseOf mro:is_measured_by_interval ;
rdf:type owl:FunctionalProperty ;
rdfs:domain cco:IntervalMeasurementInformationContentEntity ;
cco:definition "x is_a_interval_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale which has uniform intervals but has a zero value that does not correspond to an absence of the attribute being measured."@en ;
cco:example_of_usage "a measurement of air temperature on the Celsius scale." ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is a interval measurement of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_a_measurement_of
mro:is_a_measurement_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:describes ;
owl:inverseOf mro:is_measured_by ;
rdf:type owl:FunctionalProperty ;
rdfs:domain cco:MeasurementInformationContentEntity ;
cco:definition "x is_a_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to some scale or classification scheme."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:comment "This object property, as well as all of its children are typified as functional properties. This means that for instances x, y, and z if x is a measurement of y and x is a measurement of z, then y = z."@en ;
rdfs:label "is a measurement of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_a_nominal_measurement_of
mro:is_a_nominal_measurement_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_a_measurement_of ;
owl:inverseOf mro:is_measured_by_nominal ;
rdf:type owl:FunctionalProperty ;
rdfs:domain cco:NominalMeasurementInformationContentEntity ;
cco:definition "x is_a_nominal_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x classifies y relative to some set of shared, possibly arbitrary, characteristics."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is a nominal measurement of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_a_ordinal_measurement_of
mro:is_a_ordinal_measurement_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_a_measurement_of ;
owl:inverseOf mro:is_measured_by_ordinal ;
rdf:type owl:FunctionalProperty ;
rdfs:domain cco:OrdinalMeasurementInformationContentEntity ;
cco:definition "x is_a_ordinal_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale ordered by rank."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is a ordinal measurement of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_a_ratio_measurement_of
mro:is_a_ratio_measurement_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_a_measurement_of ;
owl:inverseOf mro:is_measured_by_ratio ;
rdf:type owl:FunctionalProperty ;
rdfs:domain cco:RatioMeasurementInformationContentEntity ;
cco:definition "x is_a_ratio_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale having equal unit values and a zero value that corresponds to the absence of the attribute being measured."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is a ratio measurement of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_about
mro:is_about rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_subject_of ;
rdfs:domain cco:InformationContentEntity ;
rdfs:range obo:BFO_0000001 ;
cco:definition "A primitive relationship between an Information Content Entity and some Entity."@en ;
cco:definition_source "http://purl.obolibrary.org/obo/IAO_0000136" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is about"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_affected_by
mro:is_affected_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000056 ;
rdfs:domain obo:BFO_0000002 ;
rdfs:range obo:BFO_0000015 ;
cco:definition "c is_affected_by p iff p is an instance of a Process and c is an instance of a Continuant, such that p influences c in some manner, most often by producing a change in c."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is affected by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_affiliated_with
mro:is_affiliated_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( cco:Agent
cco:Organization
cco:Person
)
] ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( cco:Agent
cco:Organization
cco:Person
)
] ;
cco:definition "x is_affiliated_with y iff x and y are instances of Agent, such that they have any kind of social or business relationship."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is affiliated with"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_ancestor_of
mro:is_ancestor_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_descendent_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is ancestor of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_aunt_of
mro:is_aunt_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is aunt of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_brother_in_law_of
mro:is_brother_in_law_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is brother-in-law of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_brother_of
mro:is_brother_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_sibling_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is brother of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_cause_of
mro:is_cause_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
cco:definition "x is_cause_of y iff x and y are instances of occurrents, and y is a consequence of x."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is cause of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_child_of
mro:is_child_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_parent_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is child of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_daughter_in_law_of
mro:is_daughter_in_law_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is daughter in-law of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_daughter_of
mro:is_daughter_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_child_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is daughter of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_delimited_by
mro:is_delimited_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:FunctionalProperty ,
owl:InverseFunctionalProperty ;
rdfs:domain cco:Organization ;
rdfs:range cco:GeopoliticalEntity ;
cco:definition "An instance of Organization o1 is_delimited_by some Geopolitical Entity gpe1 iff gpe1 is the area within which o1 can legally operate."@en ;
cco:definition_source "https://en.wikipedia.org/w/index.php?title=Boundary_delimitation&oldid=1039137603"^^xsd:anyURI ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is delimited by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_descendent_of
mro:is_descendent_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is descendent of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_ending_instant_of
mro:is_ending_instant_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:InverseFunctionalProperty ;
rdfs:domain obo:BFO_0000148 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "For Temporal Instant t1 and Temporal Interval t2, t1 is ending instant of t2 if and only if no Temporal Instant t3 that is part of t2 is after t1."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is ending instant of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_excerpted_from
mro:is_excerpted_from rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range cco:InformationBearingEntity ;
cco:definition "An Information Bearing Entity b1 is excerpted from another Information Bearing Entity B2 iff b1 is part of some Information Bearing Entity B1 that is carrier of some Information Content Entity C1, B2 is carrier of some Information Content Entity C2, C1 is not identical with C2, b1 is carrier of some Information Content Entity c1, b2 is an Information Bearing Entity that is part of B2 and b2 is carrier of c1 (i.e. the same Information Content Entity as borne by b1)."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is excerpted from"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_father_in_law_of
mro:is_father_in_law_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is father in-law of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_father_of
mro:is_father_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_parent_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is father of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_first_cousin_of
mro:is_first_cousin_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_first_cousin_of ;
rdf:type owl:SymmetricProperty ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is first cousin of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_geospatial_coordinate_reference_system_of
mro:is_geospatial_coordinate_reference_system_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_reference_system_of ;
owl:inverseOf mro:uses_geospatial_coordinate_reference_system ;
rdfs:domain cco:GeospatialCoordinateReferenceSystem ;
rdfs:range cco:InformationBearingEntity ;
cco:definition "x is_geospatial_coordinate_reference_system_of y iff y is an instance of Information Bearing Entity and x is an instance of Geospatial Coordinate Reference System, such that x describes the set of standards mentioned in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is geospatial coordinate reference system of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_grandchild_of
mro:is_grandchild_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_grandparent_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is grandchild of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_granddaughter_of
mro:is_granddaughter_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandchild_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is granddaughter of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_grandfather_of
mro:is_grandfather_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandparent_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is grandfather of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_grandmother_of
mro:is_grandmother_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandparent_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is grandmother of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_grandparent_of
mro:is_grandparent_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is grandparent of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_grandson_of
mro:is_grandson_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandchild_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is grandson of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_half_brother_of
mro:is_half_brother_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_half_sibling_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is half-brother of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_half_sibling_of
mro:is_half_sibling_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_half_sibling_of ;
rdf:type owl:SymmetricProperty ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is half-sibling of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_half_sister_of
mro:is_half_sister_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_half_sibling_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is half sister of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_husband_of
mro:is_husband_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_spouse_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is husband of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_in_law_of
mro:is_in_law_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_in_law_of ;
rdf:type owl:SymmetricProperty ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is in-law of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_input_of
mro:is_input_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000056 ;
rdfs:domain obo:BFO_0000002 ;
rdfs:range obo:BFO_0000015 ;
cco:definition "x is_input_of y iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the begining of y is a necessary condition for the start of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is input of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_inside_instant_of
mro:is_inside_instant_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000148 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "For Temporal Instant t1 and Temporal Interval t2, t1 is inside instant of t2 if and only if there are Temporal Instants t3 and t4 non-identical to t1 and part of t2 such that t3 is before t1 and t4 is after t1."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is inside instant of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_made_of
mro:is_made_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
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"@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is made of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_material_of
mro:is_material_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
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"@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is material of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_maternal_aunt_of
mro:is_maternal_aunt_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_aunt_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is maternal aunt of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_maternal_first_cousin_of
mro:is_maternal_first_cousin_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_first_cousin_of ;
cco:definition "Person A is maternal first cousin of Person B iff Person B has mother M and M has sibling P and P is parent of Person A."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:comment "Comment is_maternal_first_cousin_of is not a symmetric relationship as is is_first_cousin_of"@en ;
rdfs:label "is maternal first cousin of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_maternal_grandfather_of
mro:is_maternal_grandfather_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandfather_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is maternal grandfather of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_maternal_grandmother_of
mro:is_maternal_grandmother_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandmother_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is maternal grandmother of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_maternal_uncle_of
mro:is_maternal_uncle_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_uncle_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is maternal uncle of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measured_by
mro:is_measured_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:described_by ;
rdf:type owl:InverseFunctionalProperty ;
rdfs:range cco:MeasurementInformationContentEntity ;
cco:definition "y is_measured_by x iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to some scale or classification scheme."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is measured by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measured_by_interval
mro:is_measured_by_interval rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_measured_by ;
rdf:type owl:InverseFunctionalProperty ;
rdfs:range cco:IntervalMeasurementInformationContentEntity ;
cco:definition "y is_measured_by_interval x iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale which has uniform intervals but has a zero value that does not correspond to an absence of the attribute being measured."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is measured by interval"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measured_by_nominal
mro:is_measured_by_nominal rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_measured_by ;
rdf:type owl:InverseFunctionalProperty ;
rdfs:range cco:NominalMeasurementInformationContentEntity ;
cco:definition "y is_measured_by_nominal x iff x is an instance of Information Content Entity and y is an instance of Entity, such that x classifies y relative to some set of shared, possibly arbitrary, characteristics."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is measured by nominal"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measured_by_ordinal
mro:is_measured_by_ordinal rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_measured_by ;
rdf:type owl:InverseFunctionalProperty ;
rdfs:range cco:OrdinalMeasurementInformationContentEntity ;
cco:definition "y is_measured_by_ordinal x iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale ordered by rank."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is measured by ordinal"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measured_by_ratio
mro:is_measured_by_ratio rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_measured_by ;
rdf:type owl:InverseFunctionalProperty ;
rdfs:range cco:RatioMeasurementInformationContentEntity ;
cco:definition "y is_measured_by_ratio x iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale having equal unit values and a zero value that corresponds to the absence of the attribute being measured."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is measured by ratio"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measurement_unit_of
mro:is_measurement_unit_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0010001 ;
owl:inverseOf mro:uses_measurement_unit ;
rdfs:domain cco:MeasurementUnit ;
rdfs:range cco:InformationBearingEntity ;
cco:definition "x is_measurement_unit_of y iff y is an instance of Information Bearing Entity and x is an instance of Measurement Unit, such that x describes the magnitude of measured physical quantity mentioned in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is measurement unit of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_mention_of
mro:is_mention_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_mentioned_by ;
cco:definition "x is_mention_of y iff x is an instance Information Bearing Entity and y is an instance Entity, such that x is used as a reference to y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is mention of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_mentioned_by
mro:is_mentioned_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
cco:definition "y is_mention_by x iff x is an instance Information Bearing Entity and y is an instance Entity, such that x is used as a reference to y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is mentioned by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_mother_in_law_of
mro:is_mother_in_law_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is mother in-law of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_mother_of
mro:is_mother_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_parent_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is mother of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_nephew_of
mro:is_nephew_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is nephew of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_niece_of
mro:is_niece_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is niece of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_object_of
mro:is_object_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000056 ;
cco:definition "If p is a process and c is a continuant, then c is object of p if and only if the c is part of the projected state that the agent intends to achieve by performing p."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is object of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_organizational_context_of
mro:is_organizational_context_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain cco:Organization ;
rdfs:range obo:BFO_0000023 ;
cco:definition "x is_organizational_context_of y iff x is an instance of an Organization and y is an instance of a Role and z is an instance of a Person, such that z's affiliation with x is a prerequisite for z bearing y, or x ascribes y to the bearer of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is organizational context of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_output_of
mro:is_output_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000056 ;
rdfs:domain obo:BFO_0000002 ;
rdfs:range obo:BFO_0000015 ;
cco:definition "x is_output_of y iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the end of y is a necessary condition for the completion of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is output of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_parent_of
mro:is_parent_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
rdfs:domain cco:Person ;
rdfs:range cco:Person ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is parent of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_part_of_process
mro:is_part_of_process rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000050 ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000015 ;
cco:definition "x is_part_of_process y iff x and y are instances of Process, such that x occurs during the temporal interval of y, and x either provides an input to y or receives an output of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is part of process"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_paternal_aunt_of
mro:is_paternal_aunt_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_aunt_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is paternal aunt of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_paternal_first_cousin_of
mro:is_paternal_first_cousin_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_first_cousin_of ;
cco:definition "Person A is paternal first cousin of Person B iff Person B has father F and F has sibling P and P is parent of Person A."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:comment "Comment is_paternal_first_cousin_of is not a symmetric relationship as is is_first_cousin_of"@en ;
rdfs:label "is paternal first cousin of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_paternal_grandfather_of
mro:is_paternal_grandfather_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandfather_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is paternal grandfather of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_paternal_grandmother_of
mro:is_paternal_grandmother_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_grandmother_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is paternal grandmother of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_paternal_uncle_of
mro:is_paternal_uncle_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_uncle_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is paternal uncle of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_permitted_by
mro:is_permitted_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:prescribed_by ;
owl:inverseOf mro:permits ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range cco:ActionRegulation ;
cco:definition "y is_permitted_by x at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent may be agent in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is permitted by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_predecessor_of
mro:is_predecessor_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
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."@en ;
cco:elucidation "More informally, c1 is a predecessor of c2 iff c1 has been followed or replaced by c2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is predecessor of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_prohibited_by
mro:is_prohibited_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:prescribed_by ;
owl:inverseOf mro:prohibits ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range cco:ActionRegulation ;
cco:definition "y is_prohibited_by y at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent must not be agent in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is prohibited by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_reference_system_of
mro:is_reference_system_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0010001 ;
owl:inverseOf mro:uses_reference_system ;
rdfs:domain cco:ReferenceSystem ;
rdfs:range cco:InformationBearingEntity ;
cco:definition "x is_reference_system_of y iff y is an instance of Information Bearing Entity and x is an instance of Reference System, such that x describes the set of standards mentioned in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is reference system of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_required_by
mro:is_required_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:prescribed_by ;
owl:inverseOf mro:requires ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range cco:ActionRegulation ;
cco:definition "y is_required_by x at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent must be agent in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is required by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_second_cousin_of
mro:is_second_cousin_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_second_cousin_of ;
rdf:type owl:SymmetricProperty ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is second cousin of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_sibling_of
mro:is_sibling_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_sibling_of ;
rdf:type owl:SymmetricProperty ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is sibling of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_sister_in_law_of
mro:is_sister_in_law_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is sister-in-law of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_sister_of
mro:is_sister_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_sibling_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is sister of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_site_of
mro:is_site_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000067 ;
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 "x is_site_of y iff x is an instance of Site and y is an instance of Process, such that y occurs in x."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is site of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_son_in_law_of
mro:is_son_in_law_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_in_law_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is son in-law of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_son_of
mro:is_son_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_child_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is son of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_spouse_of
mro:is_spouse_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_spouse_of ;
rdf:type owl:SymmetricProperty ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is spouse of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_starting_instant_of
mro:is_starting_instant_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:InverseFunctionalProperty ;
rdfs:domain obo:BFO_0000148 ;
rdfs:range obo:BFO_0000038 ;
cco:definition "For Temporal Instant t1 and Temporal Interval t2, t1 is starting instant of t2 if and only if no Temporal Instant t3 that is part of t2 is before t1."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is starting instant of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_step_brother_of
mro:is_step_brother_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_step_sibling_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is step-brother of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_step_sibling_of
mro:is_step_sibling_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_step_sibling_of ;
rdf:type owl:SymmetricProperty ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is step-sibling of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_step_sister_of
mro:is_step_sister_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_step_sibling_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is step-sister of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_subject_of
mro:is_subject_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:range cco:InformationContentEntity ;
cco:definition "A primitive relationship between an instance of an Entity and an instance of an Information Content Entity."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is subject of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_subordinate_role_to
mro:is_subordinate_role_to rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000023 ;
rdfs:range obo:BFO_0000023 ;
cco:definition "For all x,y,t: y is subordinate role to x at t iff: x is an instance of bfo:BFO_0000023 (Role) at time t, and y is an instance of bfo:BFO_0000023 (Role) at time t, and there is some z such that x is realized by z and z is an instance of Act which creates, modifies, transfers, or eliminates some u such that u is an Action Regulation at time t, and u is addressed to the bearer of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is subordinate role to"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_subsidiary_of
mro:is_subsidiary_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_affiliated_with ;
rdfs:domain cco:Organization ;
rdfs:range cco:Organization ;
cco:definition "An Organization o2 is_subsidiary_of Organization o1 iff o1 controls o2 by having the capacity to determine the outcome of decisions about o2's financial and operating policies. "@en ;
cco:definition_source "http://www.austlii.edu.au/legis/cth/consol_act/ca2001172/s50aa.html)" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is subsidiary of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_successor_of
mro:is_successor_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
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. "@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is successor of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_supervised_by
mro:is_supervised_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_affiliated_with ;
owl:inverseOf mro:supervises ;
rdfs:domain cco:Person ;
rdfs:range cco:Person ;
cco:definition "A person p1 is supervised by a person p2 by virtue of p1 being directed, managed, or overseen by p2."@en ;
cco:definition_source "http://en.wiktionary.org/wiki/supervise)" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is supervised by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_temporal_region_of
mro:is_temporal_region_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:occurs_on ;
rdfs:domain obo:BFO_0000008 ;
rdfs:range obo:BFO_0000015 ;
cco:definition "x is_temporal_region_of y iff y is an instance of a process or process boundary and x is an instance of a temporal region, such that the duration of x temporally projects on y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is temporal region of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_third_cousin_of
mro:is_third_cousin_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
owl:inverseOf mro:is_third_cousin_of ;
rdf:type owl:SymmetricProperty ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is third cousin of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_uncle_of
mro:is_uncle_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_familial_relationship_to ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is uncle of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_used_by
mro:is_used_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:uses ;
cco:definition "x is_used_by y iff y is an instance of an Agent and x is an instance of a Material Entity, such that both x and y participate in some instance of a Process wherein y attempts to accomplish a goal by manipulating, deploying, leveraging some attribute of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is used by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_wife_of
mro:is_wife_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_spouse_of ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "is wife of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/language_used_in
mro:language_used_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:prescribes ;
owl:inverseOf mro:uses_language ;
rdfs:domain cco:Language ;
rdfs:range cco:InformationBearingEntity ;
cco:definition "x language_used_by y iff y is an instance of Information Bearing Entity and x is an instance of Language, such that the literal value of y is a string that is encoded according to the syntax of x."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "language used in"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/nontangential_part_of
mro:nontangential_part_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:spatial_part_of ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "An immaterial entity im1 is a nontangential part of some immaterial entity im2 iff im1 is a spatial part of im2 and there does not exist an immaterial entity im3 such that im3 externally connects with im1 and im3 externally connects with im2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "nontangential part of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/occurs_at
mro:occurs_at rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000066 ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000006
obo:BFO_0000029
)
] ;
cco:definition "x occurs_at y iff x is an instance of Process and y is an instance of Site, such that x occurs in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "occurs at"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/occurs_on
mro:occurs_on rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000008 ;
cco:definition "x occurs_on y iff x is an instance of a process or process boundary and y is an instance of a temporal region, such that the duration of x temporally projects on y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "occurs on"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/partially_overlaps_with
mro:partially_overlaps_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:connected_with ;
rdf:type owl:SymmetricProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "An immaterial entity im1 partially overlaps with some immaterial entity im2 iff im1 overlaps with im2 and im1 is not a spatial part of im2 and im2 is not a spatial part of im1."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "partially overlaps with"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/permits
mro:permits rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:prescribes ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain cco:ActionRegulation ;
rdfs:range obo:BFO_0000015 ;
cco:definition "x permits y at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent may be agent in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "permits"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/prescribed_by
mro:prescribed_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_subject_of ;
owl:inverseOf mro:prescribes ;
rdfs:range cco:DirectiveInformationContentEntity ;
cco:definition "x prescribed_by y iff y is an instance of Information Content Entity and x is an instance of Entity, such that y serves as a rule or guide for x if x is an Occurrent, or y serves as a model for x if x is a Continuant."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "prescribed by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/prescribes
mro:prescribes rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_about ;
rdfs:domain cco:DirectiveInformationContentEntity ;
cco:definition "x prescribes y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x serves as a rule or guide for y if y an Occurrent, or x serves as a model for y if y is a Continuant."@en ;
cco:example_of_usage "a blueprint serves as a model of some Artifact or Facility" ,
"a professional code of conduct serves as a set of rules to be followed while acting in a role within that profession" ,
"an Operations Plan serves as a guide for the tasks that need to be performed to achieve the Objectives of the Operation" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "prescribes"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/process_preceded_by
mro:process_preceded_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:process_precedes ;
cco:definition "p1 preceded_by p2 if and only if p1 and p2 are instances of processes, and t1 and t2 are instances of temporal regions, and p1 occurs_on t1, and p2 occurs_on t2, and t2 interval_is_before t1 or t2 interval_meets t1."@en ;
cco:definition_source "Derived from the deprecated http://www.obofoundry.org/ro/ro.owl#preceded_by" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "process preceded by"@en ;
rdfs:seeAlso "http://purl.obolibrary.org/obo/BFO_0000062" .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/process_precedes
mro:process_precedes rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
cco:definition "p1 process_precedes p2 if and only if p1 and p2 are instances of processes, and t1 and t2 are instances of temporal regions, and p1 occurs_on t1, and p2 occurs_on t2, and t1 interval_is_before t2 or t1 interval_meets t2."@en ;
cco:definition_source "Derived from the deprecated http://www.obofoundry.org/ro/ro.owl#precedes" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "process precedes"@en ;
rdfs:seeAlso "http://purl.obolibrary.org/obo/BFO_0000063" .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/process_started_by
mro:process_started_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:caused_by ;
owl:inverseOf mro:process_starts ;
cco:definition "x process_started_by y iff x and y are instances of processes, and x is caused_by y, and i is an instance of a temporal instant, and r is an instant of a temporal interval, and x has starting instance i, and y occurs on r, and r interval contains i."@en ;
cco:elucidation "A process x is started by another process y when y causes x while y is still occurring."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "process started by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/process_starts
mro:process_starts rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_cause_of ;
cco:definition "x process_starts y iff x and y are instances of processes, and x is_cause_of y, and i is an instance of a temporal instant, and r is an instant of a temporal interval, and y has starting instance i, and x occurs on r, and r interval contains i."@en ;
cco:elucidation "A process x starts another process y when x causes y while x is still occurring."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "process starts"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/prohibits
mro:prohibits rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:prescribes ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain cco:ActionRegulation ;
rdfs:range obo:BFO_0000015 ;
cco:definition "x prohibits y at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent must not be agent in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "prohibits"@en .
### 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 "x quality_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Quality, such that x disposition_of_aggregate y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "quality of aggregate"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/receives
mro:receives rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000056 ;
rdfs:domain cco:Agent ;
cco:definition "x receives y iff x is an instance of Agent and y is an instance of Act Of Communication, such that x is the recipient and decoder of the InformationContentEntity intended for communication in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "receives"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/represented_by
mro:represented_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_subject_of ;
owl:inverseOf mro:represents ;
rdf:type owl:InverseFunctionalProperty ;
rdfs:range cco:RepresentationalInformationContentEntity ;
cco:definition "y represented_by x iff x is an instance of Information Content Entity, and y is an instance of Entity, and z is carrier of x, such that x is about y in virtue of there existing an isomorphism between characteristics of z and y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:comment "See notes for inverse property." ;
rdfs:label "represented by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/represents
mro:represents rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:is_about ;
rdf:type owl:FunctionalProperty ;
rdfs:domain cco:RepresentationalInformationContentEntity ;
cco:definition "x represents y iff x is an instance of Information Content Entity, y is an instance of Entity, and z is carrier of x, such that x is about y in virtue of there existing an isomorphism between characteristics of z and y."@en ;
cco:elucidation "The relationship that is being defined here is that between the content of a photographic image and its object, between the content of a video and its objects and events, between the content of an audio recording and the sounds or events generating those sounds, or between the content of a written transcript and the verbal event that it transcribes."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:comment "Isomorphism between the carrier of x and the represented entity can be via a direct similarity relation, e.g., grooves in a vinyl record corresponding to sound waves, or linguistic convention, e.g., a court stenographer's transcription of spoken words, as well as others, such as encoding processes for images."@en ;
rdfs:label "represents"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/requires
mro:requires rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:prescribes ;
rdf:type owl:AsymmetricProperty ,
owl:IrreflexiveProperty ;
rdfs:domain cco:ActionRegulation ;
rdfs:range obo:BFO_0000015 ;
cco:definition "x requires y at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent must be agent in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "requires"@en .
### 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 "x role_of_aggregate y iff y is an instance of Object Aggregate and x is an instance of Role, such that x disposition_of_aggregate y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "role of aggregate"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/sends
mro:sends rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0000056 ;
rdfs:domain cco:Agent ;
cco:definition "x sends y iff x is an instance of Agent and y is an instance of Act Of Communication, such that x is the initiator and encoder of the InformationContentEntity intended for communication in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "sends"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/spatial_part_of
mro:spatial_part_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000050 ,
mro:connected_with ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "x spatial_part_of y iff x, y, z, and q are instances of Immaterial Entity, such that for any z connected with x, z is also connected with y, and q is connected with y but not connected with x."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:comment "in the sense used here, spatial part of is elsewhere referred to as proper spatial part of"@en ;
rdfs:label "spatial part of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/supervises
mro:supervises rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:has_affiliate ;
rdfs:domain cco:Person ;
rdfs:range cco:Person ;
cco:definition "A person p1 supervises a person p2 by virtue of p1 directing, managing, or overseeing p2."@en ;
cco:definition_source "http://en.wiktionary.org/wiki/supervise" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "supervises"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/tangential_part_of
mro:tangential_part_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:spatial_part_of ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000141 ;
rdfs:range obo:BFO_0000141 ;
cco:definition "An immaterial entity im1 is a tangential part of some immaterial entity im2 iff im1 is a spatial part of im2 and there exists some immaterial entity im3 such that im3 externally connects with im1 and im3 externally connects with im2."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "tangential part of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/time_zone_identifier_used_by
mro:time_zone_identifier_used_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0010001 ;
owl:inverseOf mro:uses_time_zone_identifier ;
rdfs:domain cco:TimeZoneIdentifier ;
rdfs:range cco:InformationBearingEntity ;
cco:definition "x time_zone_identifier_used_by y iff y is an instance of Information Bearing Entity and x is an instance of Time Zone Identifier, such that x designates the spatial region associated with the time zone mentioned in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "time zone identifier used by"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/uses
mro:uses rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
cco:definition "x uses y iff x is an instance of an Agent and y is an instance of a Material Entity, such that both x and y participate in some instance of a Process wherein x attempts to accomplish a goal by manipulating, deploying, or leveraging some attribute of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "uses"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/uses_geospatial_coordinate_reference_system
mro:uses_geospatial_coordinate_reference_system rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:uses_reference_system ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range cco:GeospatialCoordinateReferenceSystem ;
cco:definition "y uses_geospatial_coordinate_reference_system x iff y is an instance of Information Bearing Entity and x is an instance of Geospatial Coordinate Reference System, such that x describes the set of standards mentioned in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "uses geospatial coordinate reference system"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/uses_language
mro:uses_language rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:prescribed_by ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range cco:Language ;
cco:definition "x uses_language y iff x is an instance of an Information Bearing Entity and y is an instance of a Language such that the literal value of x is a string that is encoded according to the syntax of y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "uses language"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/uses_measurement_unit
mro:uses_measurement_unit rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0010002 ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range cco:MeasurementUnit ;
cco:definition "y uses_measurement_unit x iff y is an instance of Information Bearing Entity and x is an instance of Measurement Unit, such that x describes the magnitude of measured physical quantity mentioned in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "uses measurement unit"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/uses_reference_system
mro:uses_reference_system rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0010002 ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range cco:ReferenceSystem ;
cco:definition "y uses_reference_system x iff y is an instance of Information Bearing Entity and x is an instance of Reference System, such that x describes the set of standards mentioned in y."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "uses reference system"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/uses_time_zone_identifier
mro:uses_time_zone_identifier rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:RO_0010002 ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range cco:TimeZoneIdentifier ;
cco:definition "x uses_time_zone_identifier y iff x is an instance of Information Bearing Entity and y is an instance of Time Zone Identifier, such that y designates the spatial region associated with the time zone mentioned in x."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "uses time zone identifier"@en .
#################################################################
# Data properties
#################################################################
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/asWKT
mro:asWKT rdf:type owl:DatatypeProperty ;
cco:definition "A Data Property that has as its range a string formated according to the Well-known text standardization for geometric objects."@en ;
cco:example_of_usage "Polygon ((10 10, 10 20, 20 20, 20 15, 10 10))" ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:comment "ISO 19162:2015"@en ;
rdfs:label "as WKT"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_URI_value
mro:has_URI_value rdf:type owl:DatatypeProperty ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range xsd:anyURI ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has URI value"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_altitude_value
mro:has_altitude_value rdf:type owl:DatatypeProperty ;
cco:elucidation "This data property can be used along with has_latitude_value and has_longitude_value to connect three-dimensional spatial data to a single Information Bearing Entity to specify the location of an entity in a Geospatial Region."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:comment "Altitude values typically use kilometers as the Unit of Measurement."@en ;
rdfs:label "has altitude value"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_boolean_value
mro:has_boolean_value rdf:type owl:DatatypeProperty ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range xsd:boolean ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has boolean value"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_date_value
mro:has_date_value rdf:type owl:DatatypeProperty ;
rdfs:domain cco:InformationBearingEntity ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has date value"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_datetime_value
mro:has_datetime_value rdf:type owl:DatatypeProperty ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range xsd:dateTime ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has datetime value"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_decimal_value
mro:has_decimal_value rdf:type owl:DatatypeProperty ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range xsd:decimal ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has decimal value"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_double_value
mro:has_double_value rdf:type owl:DatatypeProperty ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range xsd:double ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has double value"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_integer_value
mro:has_integer_value rdf:type owl:DatatypeProperty ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range xsd:integer ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has integer value"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_latitude_value
mro:has_latitude_value rdf:type owl:DatatypeProperty ;
rdfs:range xsd:decimal ;
cco:definition "A Data Property that has as its range the latitude value from some Geospatial Location coordinates set expressed in decimal degrees."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has latitude value"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_longitude_value
mro:has_longitude_value rdf:type owl:DatatypeProperty ;
rdfs:range xsd:decimal ;
cco:definition "A Data Property that has as its range the longitude value from some Geospatial Location coordinates set expressed in decimal degrees."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has longitude value"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_text_value
mro:has_text_value rdf:type owl:DatatypeProperty ;
rdfs:domain cco:InformationBearingEntity ;
rdfs:range xsd:string ;
cco:definition "A relationship between an Information Bearing Entity and a string representation."@en ;
cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ;
rdfs:label "has text value"@en .
#########################################
### Class stubs to make Protege play nice
#########################################
### http://www.ontologyrepository.com/CommonCoreOntologies/InformationBearingEntity
cco:InformationBearingEntity rdf:type owl:Class .
### http://www.ontologyrepository.com/CommonCoreOntologies/InformationContentEntity
cco:InformationContentEntity rdf:type owl:Class .
### Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi