Files
CommonCoreOntologies/ModalRelationOntology.ttl
Mark Jensen d2cf4c36b5 adding MRO
2024-02-14 11:18:19 -05:00

2906 lines
208 KiB
Turtle

@prefix : <http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/> .
@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/2024-02-14/ModalRelationOntology> ;
rdfs:comment "The modal counterparts to the object and data properties contained in CCO and BFO2020-core."@en ;
rdfs:label "Modal Relation Ontology"@en ;
owl:versionInfo "Version 1.5"@en .
#################################################################
# Object Properties
#################################################################
### 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 ;
<http://purl.org/dc/elements/1.1/identifier> "206-BFO" ;
rdfs:label "has realization"@en ;
<http://www.w3.org/2004/02/skos/core#altLabel> "realized in"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has realization c =Def c realizes b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "As for realizes"@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 ;
<http://purl.org/dc/elements/1.1/identifier> "059-BFO" ;
rdfs:label "realizes"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000056
mro:BFO_0000056 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000057 ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000020
obo:BFO_0000031
[ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
]
)
] ;
rdfs:range obo:BFO_0000015 ;
<http://purl.org/dc/elements/1.1/identifier> "250-BFO" ;
rdfs:label "participates in"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) participates in holds between some b that is either a specifically dependent continuant or generically dependent continuant or independent continuant that is not a spatial region & some process p such that b participates in p some way"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000057
mro:BFO_0000057 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000020
obo:BFO_0000031
[ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
]
)
] ;
<http://purl.org/dc/elements/1.1/identifier> "248-BFO" ;
rdfs:label "has participant"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "p has participant c =Def c participates in p"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000058
mro:BFO_0000058 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000059 ;
rdfs:domain obo:BFO_0000031 ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000020
)
] ;
<http://purl.org/dc/elements/1.1/identifier> "258-BFO" ;
rdfs:label "is concretized by"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "c is concretized by b =Def b concretizes c"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000059
mro:BFO_0000059 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000020
)
] ;
rdfs:range obo:BFO_0000031 ;
<http://purl.org/dc/elements/1.1/identifier> "256-BFO" ;
rdfs:label "concretizes"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b concretizes c =Def b is a process or a specifically dependent continuant & c is a generically dependent continuant & there is some time t such that c is the pattern or content which b shares at t with actual or potential copies"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000062
mro:BFO_0000062 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000063 ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "213-BFO" ;
rdfs:label "preceded by"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b preceded by c =Def b precedes c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The temporal region occupied by the second half of the match is preceded by the temporal region occupied by the first half of the match"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000063
mro:BFO_0000063 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "270-BFO" ;
rdfs:label "precedes"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death."@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Each temporal region is its own temporal extent. The temporal extent of a spatiotemporal region is the temporal region it temporally projects onto. The temporal extent of a process or process boundary that occupies temporal region t is t." ,
"Precedes defines a strict partial order on occurrents." .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000066
mro:BFO_0000066 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000183 ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000035
)
] ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000029
obo:BFO_0000040
)
] ;
<http://purl.org/dc/elements/1.1/identifier> "143-BFO" ;
rdfs:label "occurs in"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b occurs in c =Def b is a process or a process boundary & c is a material entity or site & there exists a spatiotemporal region r & b occupies spatiotemporal region r & for all time 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 occupies spatial region s' at t & s is a continuant part of s' at t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A process of digestion occurs in the interior of an organism; a process of loading artillery rounds into a tank cannon occurs in the interior of the tank"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000084
mro:BFO_0000084 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000101 ;
rdfs:domain obo:BFO_0000031 ;
rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
<http://purl.org/dc/elements/1.1/identifier> "252-BFO" ;
rdfs:label "generically depends on"@en ;
<http://www.w3.org/2004/02/skos/core#altLabel> "g-depends on"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b generically depends on c =Def b is a generically dependent continuant & c is an independent continuant that is not a spatial region & at some time t there inheres in c a specifically dependent continuant which concretizes b at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000101
mro:BFO_0000101 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
rdfs:range obo:BFO_0000031 ;
<http://purl.org/dc/elements/1.1/identifier> "254-BFO" ;
rdfs:label "is carrier of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b is carrier of c =Def there is some time t such that c generically depends on b at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000108
mro:BFO_0000108 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000001 ;
rdfs:range obo:BFO_0000008 ;
<http://purl.org/dc/elements/1.1/identifier> "118-BFO" ;
rdfs:label "exists at"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists"@en ;
<http://www.w3.org/2004/02/skos/core#example> "First World War exists at 1914-1916; Mexico exists at January 1, 2000"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000115
mro:BFO_0000115 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000178 ;
owl:inverseOf mro:BFO_0000129 ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000040 ;
<http://purl.org/dc/elements/1.1/identifier> "230-BFO" ;
rdfs:label "has member part"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has member part c =Def c member part of b"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000117
mro:BFO_0000117 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000132 ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "202-BFO" ;
rdfs:label "has occurrent part"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has occurrent part c =Def c occurrent part of b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Mary's life has occurrent part Mary's 5th birthday"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000121
mro:BFO_0000121 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000117 ;
owl:inverseOf mro:BFO_0000139 ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "211-BFO" ;
rdfs:label "has temporal part"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has temporal part c =Def c temporal part of b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Your life has temporal part the first year of your life"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000124
mro:BFO_0000124 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000171 ;
rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
<http://purl.org/dc/elements/1.1/identifier> "236-BFO" ;
rdfs:label "location of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b location of c =Def c located in b"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000127
mro:BFO_0000127 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000218 ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000016 ;
<http://purl.org/dc/elements/1.1/identifier> "244-BFO" ;
rdfs:label "material basis of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b material basis of c =Def c has material basis b"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000129
mro:BFO_0000129 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000176 ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000040 ;
<http://purl.org/dc/elements/1.1/identifier> "228-BFO" ;
rdfs:label "member part of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n)"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000132
mro:BFO_0000132 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "003-BFO" ;
rdfs:label "occurrent part of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Mary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis match"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000139
mro:BFO_0000139 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000132 ;
rdf:type owl:TransitiveProperty ;
rdfs:domain obo:BFO_0000003 ;
rdfs:range obo:BFO_0000003 ;
<http://purl.org/dc/elements/1.1/identifier> "078-BFO" ;
rdfs:label "temporal part of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b temporal part of c =Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies)"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole game"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000153
mro:BFO_0000153 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain obo:BFO_0000011 ;
rdfs:range obo:BFO_0000008 ;
<http://purl.org/dc/elements/1.1/identifier> "080-BFO" ;
rdfs:label "temporally projects onto"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) temporally projects onto is a relation between a spatiotemporal region s and some temporal region which is the temporal extent of s"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The world line of a particle temporally projects onto the temporal region extending from the beginning to the end of the existence of the particle"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000171
mro:BFO_0000171 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
<http://purl.org/dc/elements/1.1/identifier> "234-BFO" ;
rdfs:label "located in"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000176
mro:BFO_0000176 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000178 ;
rdfs:domain obo:BFO_0000002 ;
rdfs:range obo:BFO_0000002 ;
<http://purl.org/dc/elements/1.1/identifier> "221-BFO" ;
rdfs:label "continuant part of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Milk teeth continuant part of human; surgically removed tumour continuant part of organism"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000178
mro:BFO_0000178 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000002 ;
rdfs:range obo:BFO_0000002 ;
<http://purl.org/dc/elements/1.1/identifier> "271-BFO" ;
rdfs:label "has continuant part"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has continuant part c =Def c continuant part of b"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000183
mro:BFO_0000183 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000029
obo:BFO_0000040
)
] ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000035
)
] ;
<http://purl.org/dc/elements/1.1/identifier> "267-BFO" ;
rdfs:label "environs"@en ;
<http://www.w3.org/2004/02/skos/core#altLabel> "contains process"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b environs c =Def c occurs in b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Mouth environs process of mastication; city environs traffic"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000184
mro:BFO_0000184 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000185 ;
rdf:type owl:FunctionalProperty ,
owl:InverseFunctionalProperty ;
rdfs:domain obo:BFO_0000182 ;
rdfs:range obo:BFO_0000040 ;
<http://purl.org/dc/elements/1.1/identifier> "144-BFO" ;
rdfs:label "history of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) history of is a relation between history b and material entity c such that b is the unique history of c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "This life is the history of this organism"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000185
mro:BFO_0000185 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000040 ;
rdfs:range obo:BFO_0000182 ;
<http://purl.org/dc/elements/1.1/identifier> "145-BFO" ;
rdfs:label "has history"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has history c =Def c history of b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "This organism has history this life"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000194
mro:BFO_0000194 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000195 ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000020
[ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
]
)
] ;
rdfs:range obo:BFO_0000020 ;
<http://purl.org/dc/elements/1.1/identifier> "260-BFO" ;
rdfs:label "specifically depended on by"@en ;
<http://www.w3.org/2004/02/skos/core#altLabel> "s-depended on by"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b specifically depended on by c =Def c specifically depends on b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Coloured object specifically depended on by colour"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000195
mro:BFO_0000195 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000020 ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000020
[ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
]
)
] ;
<http://purl.org/dc/elements/1.1/identifier> "012-BFO" ;
rdfs:label "specifically depends on"@en ;
<http://www.w3.org/2004/02/skos/core#altLabel> "s-depends on"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) specifically depends on is a relation between a specifically dependent continuant b and specifically dependent continuant or independent continuant that is not a spatial region c such that b and c share no parts in common & b is of a nature such that at all times t it cannot exist unless c exists & b is not a boundary of c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A shape specifically depends on the shaped object; hue, saturation and brightness of a colour sample specifically depends on each other"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "The analogue of specifically depends on for occurrents is has participant."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000196
mro:BFO_0000196 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000194 ;
owl:inverseOf mro:BFO_0000197 ;
rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
rdfs:range obo:BFO_0000020 ;
<http://purl.org/dc/elements/1.1/identifier> "053-BFO" ;
rdfs:label "bearer of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b bearer of c =Def c inheres in b"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A patch of ink is the bearer of a colour quality; an organism is the bearer of a temperature quality"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000197
mro:BFO_0000197 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000195 ;
rdfs:domain obo:BFO_0000020 ;
rdfs:range [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
<http://purl.org/dc/elements/1.1/identifier> "051-BFO" ;
rdfs:label "inheres in"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b inheres in c =Def b is a specifically dependent continuant & c is an independent continuant that is not a spatial region & b specifically depends on c"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A shape inheres in a shaped object; a mass inheres in a material entity"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000199
mro:BFO_0000199 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_temporal_region_of ;
rdf:type owl:FunctionalProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000035
)
] ;
rdfs:range obo:BFO_0000008 ;
<http://purl.org/dc/elements/1.1/identifier> "132-BFO" ;
rdfs:label "occupies temporal region"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The Second World War occupies the temporal region September 1, 1939 - September 2, 1945"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000200
mro:BFO_0000200 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000035
)
] ;
rdfs:range obo:BFO_0000011 ;
<http://purl.org/dc/elements/1.1/identifier> "082-BFO" ;
rdfs:label "occupies spatiotemporal region"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) occupies spatiotemporal region is a relation between a process or process boundary p and the spatiotemporal region s which is its spatiotemporal extent"@en ;
<http://www.w3.org/2004/02/skos/core#example> "A particle emitted by a nuclear reactor occupies the spatiotemporal region which is its trajectory"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000210
mro:BFO_0000210 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain [ owl:intersectionOf ( obo:BFO_0000004
[ rdf:type owl:Class ;
owl:complementOf obo:BFO_0000006
]
) ;
rdf:type owl:Class
] ;
rdfs:range obo:BFO_0000006 ;
<http://purl.org/dc/elements/1.1/identifier> "232-BFO" ;
rdfs:label "occupies spatial region"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b occupies spatial region r =Def b is an independent continuant that is not a spatial region & r is a spatial region & there is some time t such that every continuant part of b occupies some continuant part of r at t and no continuant part of b occupies any spatial region that is not a continuant part of r at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000216
mro:BFO_0000216 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000011 ;
rdfs:range obo:BFO_0000006 ;
<http://purl.org/dc/elements/1.1/identifier> "246-BFO" ;
rdfs:label "spatially projects onto"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "(Elucidation) spatially projects onto is a relation between some spatiotemporal region b and spatial region c such that at some time t, c is the spatial extent of b at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000218
mro:BFO_0000218 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000016 ;
rdfs:range obo:BFO_0000040 ;
<http://purl.org/dc/elements/1.1/identifier> "242-BFO" ;
rdfs:label "has material basis"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "b has material basis c =Def b is a disposition & c is a material entity & there is some d bearer of b & there is some time t such that c is a continuant part of d at t & d has disposition b because c is a continuant part of d at t"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/profiles/temporal%20extensions>"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000221
mro:BFO_0000221 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000222 ;
rdfs:domain obo:BFO_0000203 ;
rdfs:range obo:BFO_0000008 ;
<http://purl.org/dc/elements/1.1/identifier> "268-BFO" ;
rdfs:label "first instant of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "An hour starting at midnight yesterday has first instant midnight yesterday"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000222
mro:BFO_0000222 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain obo:BFO_0000008 ;
rdfs:range obo:BFO_0000203 ;
<http://purl.org/dc/elements/1.1/identifier> "261-BFO" ;
rdfs:label "has first instant"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "t has first instant t' =Def t' first instant of t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The first hour of a year has first instant midnight on December 31"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000223
mro:BFO_0000223 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:BFO_0000224 ;
rdfs:domain obo:BFO_0000203 ;
rdfs:range obo:BFO_0000008 ;
<http://purl.org/dc/elements/1.1/identifier> "269-BFO" ;
rdfs:label "last instant of"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "t last instant of t' =Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "Last midnight is the last instant of yesterday"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000224
mro:BFO_0000224 rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdf:type owl:FunctionalProperty ;
rdfs:domain obo:BFO_0000008 ;
rdfs:range obo:BFO_0000203 ;
<http://purl.org/dc/elements/1.1/identifier> "215-BFO" ;
rdfs:label "has last instant"@en ;
<http://www.w3.org/2004/02/skos/core#definition> "t has last instant t' =Def t' last instant of t"@en ;
<http://www.w3.org/2004/02/skos/core#example> "The last hour of a year has last instant midnight December 31"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/ModalObjectProperty
mro:ModalObjectProperty rdf:type owl:ObjectProperty .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/accessory_in
mro:accessory_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_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:BFO_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:BFO_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:BFO_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:BFO_0000197 ;
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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be transitive and symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@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_0000176
) ;
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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/delimits
mro:delimits rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_delimited_by ;
rdfs:domain cco:DelimitingDomain ;
rdfs:range cco:Organization ;
cco:definition "An instance of Delimiting Domain dd1 delimits some Organization o1 iff dd1 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_0000178
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 ;
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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be functional. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/disconnected_with
mro:disconnected_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@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/disrupts
mro:disrupts rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_disrupted_by ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000015 ;
<http://purl.org/dc/terms/created> "2022-12-30T21:32:27-05:00"^^xsd:dateTime ;
<http://purl.org/dc/terms/creator> "https://cubrc.org"^^xsd:anyURI ;
cco:definition "A relation where one process disrupts another process from occurring as it would have."@en ;
cco:elucidation "A process can disrupt another process from occurring as it would have by 1) preventing a disposition or role from being realized by that process, 2) lowering the grade of the process, or 3) stopping the process from continuing to occur."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "disrupts"@en ;
<http://www.w3.org/2004/02/skos/core#editorialNote> "To lower the grade of a process is to lower the quality of a process according to some standard, for example when realizing a capability or a function."@en ;
<http://www.w3.org/2004/02/skos/core#prefLabel> "disrupts"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/externally_connects_with
mro:externally_connects_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:connected_with ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_accessory
mro:has_accessory rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_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:BFO_0000057 ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000040 ;
cco:definition "A 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:BFO_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:BFO_0000196 ;
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_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:BFO_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 beginning 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_interest_in
mro:has_interest_in rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
owl:inverseOf mro:is_interest_of ;
rdfs:domain cco:Agent ;
rdfs:range obo:BFO_0000015 ;
<http://purl.org/dc/terms/created> "2022-12-30T21:32:27-05:00"^^xsd:dateTime ;
<http://purl.org/dc/terms/creator> "https://cubrc.org"^^xsd:anyURI ;
cco:definition "A relation between an entity and some process where the entity has an interest in that process."@en ;
cco:elucidation "There are four conditions in which an entity has an interest in some process. 1) Biological Condition: If a part (including improper part) of an organism has a function, then that organism has an interest in the realization of that function. 2) Artifactual Condition: If a part (including improper part) of an artifact has a function, then some agent or group of agents, at some time, has an interest in the realization of that function. 3) Prescription Condition: If an agent or group of agents has a plan, then it has an interest in the realization of all the processes and process-combinations prescribed by that plan. 4) Facilitation Condition: If (a) x has an interest in the realization of a disposition y, and (b) the realization of a disposition z facilitates the realization of disposition y, then (c) x has an interest in the realization of disposition z, and by 'facilitates' we mean that the occurrence of a process w, which realizes realization of z is either (1) required for y, to realize or (2) would contribute positively to the grade of, y's realization."@en ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "has interest in"@en ;
<http://www.w3.org/2004/02/skos/core#editorialNote> "This term is meant to be weakly normative. The only sense in which the process is of positive normative value is that it's prescribed by the entity, or historically of evolutionary benefit to the entity's ancestors, or facilitates a process the entity has an interest in for the prior two reasons. The process an entity has an interest could in many or all ways be harmful to the entity."@en ;
<http://www.w3.org/2004/02/skos/core#prefLabel> "has interest in"@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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be transitive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_object
mro:has_object rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_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:BFO_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_0000117 ;
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:BFO_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:BFO_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_0000178 ,
mro:connected_with ;
owl:inverseOf mro:spatial_part_of ;
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_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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be transitive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@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 ;
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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be functional. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@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 ;
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 ;
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 ;
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:BFO_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 ;
rdfs:domain cco:Organization ;
rdfs:range cco:DelimitingDomain ;
cco:definition "An instance of Organization o1 is_delimited_by some Delimiting Domain dd1 iff dd1 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_disrupted_by
mro:is_disrupted_by rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range obo:BFO_0000015 ;
<http://purl.org/dc/terms/created> "2022-12-30T21:32:27-05:00"^^xsd:dateTime ;
<http://purl.org/dc/terms/creator> "https://cubrc.org"^^xsd:anyURI ;
cco:definition "Inverse of disrupts." ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "is disrupted by"@en ;
<http://www.w3.org/2004/02/skos/core#prefLabel> "is disrupted by"@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 ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "is in-law of"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_input_of
mro:is_input_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_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 beginning 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_interest_of
mro:is_interest_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:ModalObjectProperty ;
rdfs:domain obo:BFO_0000015 ;
rdfs:range cco:Agent ;
<http://purl.org/dc/terms/created> "2022-12-30T21:32:27-05:00"^^xsd:dateTime ;
<http://purl.org/dc/terms/creator> "https://cubrc.org"^^xsd:anyURI ;
cco:definition "The inverse of has_interest_in. " ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "is interest of"@en ;
<http://www.w3.org/2004/02/skos/core#prefLabel> "is interest of"@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_made_of
mro:is_made_of rdf:type owl:ObjectProperty ;
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 ;
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 ;
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 ;
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 ;
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 ;
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:BFO_0000084 ;
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:BFO_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:BFO_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_0000132 ;
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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be asymmetric and irreflexive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### 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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be asymmetric and irreflexive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_reference_system_of
mro:is_reference_system_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:BFO_0000084 ;
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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be asymmetric and irreflexive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### 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_0000183 ;
owl:inverseOf mro:occurs_at ;
rdfs:domain 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 ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "is spouse of"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@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 ;
cco:is_curated_in_ontology <http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology> ;
rdfs:label "is step-sibling of"@en ;
<http://www.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@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 ;
rdfs:domain obo:BFO_0000008 ;
rdfs:range [ rdf:type owl:Class ;
owl:unionOf ( obo:BFO_0000015
obo:BFO_0000035
)
] ;
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.w3.org/2004/02/skos/core#editorialNote> "Leaving this is in ERO for now since BFO2020 has no inverse of occupies-temporal-region yet."@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/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/nontangential_part_of
mro:nontangential_part_of rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:spatial_part_of ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be transitive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@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 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/partially_overlaps_with
mro:partially_overlaps_with rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:connected_with ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be symmetric. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/permits
mro:permits rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:prescribes ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be asymmetric and irreflexive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### 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_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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be asymmetric and irreflexive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### 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:BFO_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 ;
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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be functional. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/requires
mro:requires rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf mro:prescribes ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be asymmetric and irreflexive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@en .
### 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:BFO_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_0000176 ,
mro:connected_with ;
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 ;
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.w3.org/2004/02/skos/core#scopeNote> "Given a stronger temporal interpretation, this property may be transitive. For more info please refer to https://github.com/BFO-ontology/BFO-2020/tree/master/src/owl/temporal%20extensions."@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:BFO_0000084 ;
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:BFO_0000101 ;
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:BFO_0000101 ;
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:BFO_0000101 ;
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.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi