diff --git a/ModalRelationOntology.ttl b/ModalRelationOntology.ttl index a50cc47..1662433 100644 --- a/ModalRelationOntology.ttl +++ b/ModalRelationOntology.ttl @@ -1,4 +1,4 @@ -@prefix : . +@prefix : . @prefix cco: . @prefix mro: . @prefix obo: . @@ -10,89 +10,26 @@ @base . rdf:type owl:Ontology ; - owl:versionIRI ; + owl:versionIRI ; + 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.4"@en ; - rdfs:comment "The modal counterparts to relations contained in the Common Core Ontologies (CCO) and those imported from the OBO Foundry Relation Ontology (RO)."@en . - - + owl:versionInfo "Version 1.5"@en . ################################################################# # Object Properties ################################################################# -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000050 -mro:BFO_0000050 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:BFO_0000051 ; - rdf:type owl:TransitiveProperty ; - obo:IAO_0000111 "is part of"@en ; - obo:IAO_0000112 "my brain is part of my body (continuant parthood, two material entities)"@en , - "my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity)"@en , - "this day is part of this year (occurrent parthood)"@en ; - obo:IAO_0000115 "a core relation that holds between a part and its whole"@en ; - obo:IAO_0000116 "Everything is part of itself. Any part of any part of a thing is itself part of that thing. Two distinct things cannot be part of each other."@en , - "Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime"@en , - """Parthood requires the part and the whole to have compatible classes: only an occurrent can be part of an occurrent; only a process can be part of a process; only a continuant can be part of a continuant; only an independent continuant can be part of an independent continuant; only an immaterial entity can be part of an immaterial entity; only a specifically dependent continuant can be part of a specifically dependent continuant; only a generically dependent continuant can be part of a generically dependent continuant. (This list is not exhaustive.) - -A continuant cannot be part of an occurrent: use 'participates in'. An occurrent cannot be part of a continuant: use 'has participant'. A material entity cannot be part of an immaterial entity: use 'has location'. A specifically dependent continuant cannot be part of an independent continuant: use 'inheres in'. An independent continuant cannot be part of a specifically dependent continuant: use 'bearer of'."""@en ; - obo:IAO_0000118 "part_of"@en ; - obo:RO_0001900 obo:RO_0001901 ; - obo:RO_0040042 obo:BFO_0000002 , - obo:BFO_0000003 , - obo:BFO_0000004 , - obo:BFO_0000017 , - obo:BFO_0000019 , - obo:BFO_0000020 , - obo:BFO_0000031 ; - obo:valid_for_go_annotation_extension , - obo:valid_for_go_gp2term , - obo:valid_for_go_ontology , - obo:valid_for_gocam ; - rdfs:label "part of"@en ; - rdfs:seeAlso , - , - "http://www.obofoundry.org/ro/#OBO_REL:part_of" . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000051 -mro:BFO_0000051 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - rdf:type owl:TransitiveProperty ; - obo:IAO_0000111 "has part"@en ; - obo:IAO_0000112 "my body has part my brain (continuant parthood, two material entities)"@en , - "my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)"@en , - "this year has part this day (occurrent parthood)"@en ; - obo:IAO_0000115 "a core relation that holds between a whole and its part"@en ; - obo:IAO_0000116 "Everything has itself as a part. Any part of any part of a thing is itself part of that thing. Two distinct things cannot have each other as a part."@en , - "Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime"@en , - """Parthood requires the part and the whole to have compatible classes: only an occurrent have an occurrent as part; only a process can have a process as part; only a continuant can have a continuant as part; only an independent continuant can have an independent continuant as part; only a specifically dependent continuant can have a specifically dependent continuant as part; only a generically dependent continuant can have a generically dependent continuant as part. (This list is not exhaustive.) - -A continuant cannot have an occurrent as part: use 'participates in'. An occurrent cannot have a continuant as part: use 'has participant'. An immaterial entity cannot have a material entity as part: use 'location of'. An independent continuant cannot have a specifically dependent continuant as part: use 'bearer of'. A specifically dependent continuant cannot have an independent continuant as part: use 'inheres in'."""@en ; - obo:IAO_0000118 "has_part"@en ; - obo:RO_0001900 obo:RO_0001901 ; - obo:valid_for_go_annotation_extension , - obo:valid_for_go_ontology , - obo:valid_for_gocam ; - rdfs:label "has part"@en . - - ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000054 mro:BFO_0000054 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ModalObjectProperty ; owl:inverseOf mro:BFO_0000055 ; rdfs:domain obo:BFO_0000017 ; rdfs:range obo:BFO_0000015 ; - obo:IAO_0000111 "realized in"@en ; - obo:IAO_0000112 "this disease is realized in this disease course"@en , - "this fragility is realized in this shattering"@en , - "this investigator role is realized in this investigation"@en ; - obo:IAO_0000118 "is realized by"@en , - "realized_in"@en ; - obo:IAO_0000600 "[copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])"@en ; - rdfs:comment "Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process" ; - rdfs:isDefinedBy obo:bfo.owl ; - rdfs:label "realized in"@en . + "206-BFO" ; + rdfs:label "has realization"@en ; + "realized in"@en ; + "b has realization c =Def c realizes b"@en ; + "As for realizes"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000055 @@ -100,468 +37,641 @@ mro:BFO_0000055 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ModalObjectProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000017 ; - obo:IAO_0000111 "realizes"@en ; - obo:IAO_0000112 "this disease course realizes this disease"@en , - "this investigation realizes this investigator role"@en , - "this shattering realizes this fragility"@en ; - obo:IAO_0000600 "to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])"@en ; - rdfs:comment "Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process" ; - rdfs:isDefinedBy obo:iao.owl ; - rdfs:label "realizes"@en . + "059-BFO" ; + rdfs:label "realizes"@en ; + "(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 ; + "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 ; + "250-BFO" ; + rdfs:label "participates in"@en ; + "(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 ; + "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: "@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 + ] + ) + ] ; + "248-BFO" ; + rdfs:label "has participant"@en ; + "p has participant c =Def c participates in p"@en ; + "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: "@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 + ) + ] ; + "258-BFO" ; + rdfs:label "is concretized by"@en ; + "c is concretized by b =Def b concretizes c"@en ; + "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: "@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 ; + "256-BFO" ; + rdfs:label "concretizes"@en ; + "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 ; + "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: "@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 ; + "213-BFO" ; + rdfs:label "preceded by"@en ; + "b preceded by c =Def b precedes c"@en ; + "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 ; + "270-BFO" ; + rdfs:label "precedes"@en ; + "(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 ; + "The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death."@en ; + "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_0000067 ; - rdfs:domain obo:BFO_0000003 ; - rdfs:range obo:BFO_0000004 ; - owl:propertyChainAxiom ( mro:BFO_0000050 - mro:BFO_0000066 - ) , - ( mro:BFO_0000066 - mro:BFO_0000050 - ) ; - obo:IAO_0000111 "occurs in"@en ; - obo:IAO_0000115 "b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t"@en ; - obo:IAO_0000118 "occurs_in"@en , - "unfolds in"@en , - "unfolds_in"@en ; - obo:valid_for_go_annotation_extension , - obo:valid_for_go_ontology , - obo:valid_for_gocam ; - rdfs:comment "Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant" ; - rdfs:isDefinedBy obo:bfo.owl ; - rdfs:label "occurs in"@en . + 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 + ) + ] ; + "143-BFO" ; + rdfs:label "occurs in"@en ; + "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 ; + "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_0000067 -mro:BFO_0000067 rdf:type owl:ObjectProperty ; +### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/BFO_0000084 +mro:BFO_0000084 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ModalObjectProperty ; - obo:IAO_0000111 "site of"@en ; - obo:IAO_0000115 "[copied from inverse property 'occurs in'] b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t"@en ; - rdfs:comment "Paraphrase of definition: a relation between an independent continuant and a process, in which the process takes place entirely within the independent continuant" ; - rdfs:isDefinedBy obo:bfo.owl ; - rdfs:label "contains process"@en . + 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 + ] ; + "252-BFO" ; + rdfs:label "generically depends on"@en ; + "g-depends on"@en ; + "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 ; + "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: "@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 ; + "254-BFO" ; + rdfs:label "is carrier of"@en ; + "b is carrier of c =Def there is some time t such that c generically depends on b at t"@en ; + "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: "@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 ; + "118-BFO" ; + rdfs:label "exists at"@en ; + "(Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists"@en ; + "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 ; + "230-BFO" ; + rdfs:label "has member part"@en ; + "b has member part c =Def c member part of b"@en ; + "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: "@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 ; + "202-BFO" ; + rdfs:label "has occurrent part"@en ; + "b has occurrent part c =Def c occurrent part of b"@en ; + "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 ; + "211-BFO" ; + rdfs:label "has temporal part"@en ; + "b has temporal part c =Def c temporal part of b"@en ; + "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 + ] ; + "236-BFO" ; + rdfs:label "location of"@en ; + "b location of c =Def c located in b"@en ; + "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: "@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 ; + "244-BFO" ; + rdfs:label "material basis of"@en ; + "b material basis of c =Def c has material basis b"@en ; + "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: "@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 ; + "228-BFO" ; + rdfs:label "member part of"@en ; + "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 ; + "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: "@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 ; + "003-BFO" ; + rdfs:label "occurrent part of"@en ; + "(Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c"@en ; + "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 ; + "078-BFO" ; + rdfs:label "temporal part of"@en ; + "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 ; + "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 ; + "080-BFO" ; + rdfs:label "temporally projects onto"@en ; + "(Elucidation) temporally projects onto is a relation between a spatiotemporal region s and some temporal region which is the temporal extent of s"@en ; + "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 + ] ; + "234-BFO" ; + rdfs:label "located in"@en ; + "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 ; + "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: "@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 ; + "221-BFO" ; + rdfs:label "continuant part of"@en ; + "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 ; + "Milk teeth continuant part of human; surgically removed tumour continuant part of organism"@en ; + "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: "@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 ; + "271-BFO" ; + rdfs:label "has continuant part"@en ; + "b has continuant part c =Def c continuant part of b"@en ; + "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: "@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 + ) + ] ; + "267-BFO" ; + rdfs:label "environs"@en ; + "contains process"@en ; + "b environs c =Def c occurs in b"@en ; + "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 ; + "144-BFO" ; + rdfs:label "history of"@en ; + "(Elucidation) history of is a relation between history b and material entity c such that b is the unique history of c"@en ; + "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 ; + "145-BFO" ; + rdfs:label "has history"@en ; + "b has history c =Def c history of b"@en ; + "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 ; + "260-BFO" ; + rdfs:label "specifically depended on by"@en ; + "s-depended on by"@en ; + "b specifically depended on by c =Def c specifically depends on b"@en ; + "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 + ] + ) + ] ; + "012-BFO" ; + rdfs:label "specifically depends on"@en ; + "s-depends on"@en ; + "(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 ; + "A shape specifically depends on the shaped object; hue, saturation and brightness of a colour sample specifically depends on each other"@en ; + "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 ; + "053-BFO" ; + rdfs:label "bearer of"@en ; + "b bearer of c =Def c inheres in b"@en ; + "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 + ] ; + "051-BFO" ; + rdfs:label "inheres in"@en ; + "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 ; + "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 ; + "132-BFO" ; + rdfs:label "occupies temporal region"@en ; + "p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t"@en ; + "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 ; + "082-BFO" ; + rdfs:label "occupies spatiotemporal region"@en ; + "(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 ; + "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 ; + "232-BFO" ; + rdfs:label "occupies spatial region"@en ; + "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 ; + "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: "@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 ; + "246-BFO" ; + rdfs:label "spatially projects onto"@en ; + "(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 ; + "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: "@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 ; + "242-BFO" ; + rdfs:label "has material basis"@en ; + "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 ; + "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: "@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 ; + "268-BFO" ; + rdfs:label "first instant of"@en ; + "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 ; + "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 ; + "261-BFO" ; + rdfs:label "has first instant"@en ; + "t has first instant t' =Def t' first instant of t"@en ; + "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 ; + "269-BFO" ; + rdfs:label "last instant of"@en ; + "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 ; + "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 ; + "215-BFO" ; + rdfs:label "has last instant"@en ; + "t has last instant t' =Def t' last instant of t"@en ; + "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 ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology"^^xsd:anyURI ; - rdfs:comment "A term to group all types of modal properties, which is helpful for application purposes."@en ; - rdfs:label "Modal Object Property"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000052 -mro:RO_0000052 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:RO_0000053 ; - obo:IAO_0000111 "inheres in"@en ; - obo:IAO_0000112 "this fragility inheres in this vase"@en , - "this red color inheres in this apple"@en ; - obo:IAO_0000115 "a relation between a specifically dependent continuant (the dependent) and an independent continuant (the bearer), in which the dependent specifically depends on the bearer for its existence"@en ; - obo:IAO_0000116 "A dependent inheres in its bearer at all times for which the dependent exists."@en ; - obo:IAO_0000118 "inheres_in"@en ; - obo:RO_0001900 obo:RO_0001901 ; - rdfs:comment "NOTE: This is term is used within the CCO ecosystem based on it previous intended meaning, which is consistent with BFO in that an SDC must inhere in an IC which is not a Spatial Region."@en ; - rdfs:label "inheres in"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000053 -mro:RO_0000053 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - rdfs:range obo:BFO_0000020 ; - obo:IAO_0000111 "bearer of"@en ; - obo:IAO_0000112 "this apple is bearer of this red color"@en , - "this vase is bearer of this fragility"@en ; - obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a specifically dependent continuant (the dependent), in which the dependent specifically depends on the bearer for its existence"@en ; - obo:IAO_0000116 "A bearer can have many dependents, and its dependents can exist for different periods of time, but none of its dependents can exist when the bearer does not exist."@en ; - obo:IAO_0000118 "bearer_of"@en , - "is bearer of"@en ; - obo:RO_0001900 obo:RO_0001901 ; - rdfs:comment "NOTE: This is term is used within the CCO ecosystem based on it previous intended meaning, which is consistent with BFO in that an SDC must inhere in an IC which is not a Spatial Region."@en ; - rdfs:label "bearer of"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000056 -mro:RO_0000056 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:RO_0000057 ; - rdfs:domain obo:BFO_0000002 ; - rdfs:range obo:BFO_0000003 ; - obo:IAO_0000111 "participates in"@en ; - obo:IAO_0000112 "this blood clot participates in this blood coagulation"@en , - "this input material (or this output material) participates in this process"@en , - "this investigator participates in this investigation"@en ; - obo:IAO_0000115 "a relation between a continuant and a process, in which the continuant is somehow involved in the process"@en ; - obo:IAO_0000118 "participates_in"@en ; - rdfs:label "participates in"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000057 -mro:RO_0000057 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - rdfs:domain obo:BFO_0000003 ; - rdfs:range obo:BFO_0000002 ; - owl:propertyChainAxiom ( mro:BFO_0000051 - mro:BFO_0000055 - mro:RO_0000052 - ) , - ( mro:BFO_0000051 - mro:RO_0000057 - ) ; - obo:IAO_0000111 "has participant"@en ; - obo:IAO_0000112 "this blood coagulation has participant this blood clot"@en , - "this investigation has participant this investigator"@en , - "this process has participant this input material (or this output material)"@en ; - obo:IAO_0000115 "a relation between a process and a continuant, in which the continuant is somehow involved in the process"@en ; - obo:IAO_0000116 "Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time."@en ; - obo:IAO_0000118 "has_participant"@en ; - "http://www.obofoundry.org/ro/#OBO_REL:has_participant" ; - rdfs:label "has participant"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000058 -mro:RO_0000058 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:RO_0000059 ; - rdfs:domain obo:BFO_0000031 ; - rdfs:range obo:BFO_0000020 ; - obo:IAO_0000112 "A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The journal article (a generically dependent continuant) is concretized as the quality (a specifically dependent continuant), and both depend on that copy of the printed journal (an independent continuant)."@en , - "An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process)."@en ; - obo:IAO_0000115 "A relationship between a generically dependent continuant and a specifically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants."@en ; - rdfs:label "is concretized as"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000059 -mro:RO_0000059 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - rdfs:domain obo:BFO_0000020 ; - rdfs:range obo:BFO_0000031 ; - obo:IAO_0000112 "A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The quality (a specifically dependent continuant) concretizes the journal article (a generically dependent continuant), and both depend on that copy of the printed journal (an independent continuant)."@en , - "An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process)."@en ; - obo:IAO_0000115 "A relationship between a specifically dependent continuant and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. Multiple specifically dependent continuants can concretize the same generically dependent continuant."@en ; - rdfs:label "concretizes"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000079 -mro:RO_0000079 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000052 ; - owl:inverseOf mro:RO_0000085 ; - rdfs:domain obo:BFO_0000034 ; - obo:IAO_0000112 "this catalysis function is a function of this enzyme"@en ; - obo:IAO_0000115 "a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence"@en ; - obo:IAO_0000116 "A function inheres in its bearer at all times for which the function exists, however the function need not be realized at all the times that the function exists."@en ; - obo:IAO_0000118 "function_of"@en , - "is function of"@en ; - rdfs:label "function of"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000080 -mro:RO_0000080 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000052 ; - owl:inverseOf mro:RO_0000086 ; - obo:IAO_0000112 "this red color is a quality of this apple"@en ; - obo:IAO_0000115 "a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence"@en ; - obo:IAO_0000116 "A quality inheres in its bearer at all times for which the quality exists."@en ; - obo:IAO_0000118 "is quality of"@en , - "quality_of"@en ; - rdfs:label "quality of"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000081 -mro:RO_0000081 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000052 ; - owl:inverseOf mro:RO_0000087 ; - obo:IAO_0000112 "this investigator role is a role of this person"@en ; - obo:IAO_0000115 "a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence"@en ; - obo:IAO_0000116 "A role inheres in its bearer at all times for which the role exists, however the role need not be realized at all the times that the role exists."@en ; - obo:IAO_0000118 "is role of"@en , - "role_of"@en ; - rdfs:label "role of"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000085 -mro:RO_0000085 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000053 ; - rdfs:domain obo:BFO_0000004 ; - rdfs:range obo:BFO_0000034 ; - obo:IAO_0000112 "this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function)"@en ; - obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence"@en ; - obo:IAO_0000116 "A bearer can have many functions, and its functions can exist for different periods of time, but none of its functions can exist when the bearer does not exist. A function need not be realized at all the times that the function exists."@en ; - obo:IAO_0000118 "has_function"@en ; - rdfs:label "has function"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000086 -mro:RO_0000086 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000053 ; - rdfs:range obo:BFO_0000019 ; - obo:IAO_0000112 "this apple has quality this red color"@en ; - obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence"@en ; - obo:IAO_0000116 "A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist."@en ; - obo:IAO_0000118 "has_quality"@en ; - rdfs:label "has quality"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000087 -mro:RO_0000087 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000053 ; - rdfs:domain obo:BFO_0000004 ; - rdfs:range obo:BFO_0000023 ; - obo:IAO_0000112 "this person has role this investigator role (more colloquially: this person has this role of investigator)"@en ; - obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence"@en ; - obo:IAO_0000116 "A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists."@en ; - obo:IAO_0000118 "has_role"@en ; - rdfs:label "has role"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000091 -mro:RO_0000091 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000053 ; - owl:inverseOf mro:RO_0000092 ; - rdfs:domain obo:BFO_0000004 ; - rdfs:range obo:BFO_0000016 ; - obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence"@en ; - rdfs:label "has disposition"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0000092 -mro:RO_0000092 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000052 ; - obo:IAO_0000115 "inverse of has disposition" ; - obo:RO_0002259 ; - rdfs:label "disposition of"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001000 -mro:RO_0001000 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:RO_0001001 ; - obo:IAO_0000112 "this cell derives from this parent cell (cell division)"@en , - "this nucleus derives from this parent nucleus (nuclear division)"@en ; - obo:IAO_0000114 obo:IAO_0000125 ; - obo:IAO_0000115 "a relation between two distinct material entities, the new entity and the old entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity"@en ; - obo:IAO_0000116 "This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops from'."@en ; - obo:IAO_0000118 "derives_from"@en ; - obo:IAO_0000232 "This relation is taken from the RO2005 version of RO. It may be obsoleted and replaced by relations with different definitions. See also the 'develops from' family of relations." ; - ; - rdfs:label "derives from"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001001 -mro:RO_0001001 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - obo:IAO_0000112 "this parent cell derives into this cell (cell division)"@en , - "this parent nucleus derives into this nucleus (nuclear division)"@en ; - obo:IAO_0000114 obo:IAO_0000125 ; - obo:IAO_0000115 "a relation between two distinct material entities, the old entity and the new entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity"@en ; - obo:IAO_0000116 "This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops into'. To avoid making statements about a future that may not come to pass, it is often better to use the backward-looking 'derives from' rather than the forward-looking 'derives into'."@en ; - obo:IAO_0000118 "derives_into"@en ; - ; - rdfs:label "derives into"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001015 -mro:RO_0001015 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:RO_0001025 ; - rdf:type owl:TransitiveProperty ; - obo:IAO_0000111 "is location of"@en ; - obo:IAO_0000112 "my head is the location of my brain"@en , - "this cage is the location of this rat"@en ; - obo:IAO_0000115 "a relation between two independent continuants, the location and the target, in which the target is entirely within the location"@en ; - obo:IAO_0000116 "Most location relations will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime"@en ; - obo:IAO_0000118 "location_of"@en ; - obo:RO_0001900 obo:RO_0001901 ; - rdfs:label "location of"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001018 -mro:RO_0001018 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:RO_0001019 ; - rdfs:domain obo:BFO_0000040 ; - rdfs:range obo:BFO_0000004 ; - owl:propertyChainAxiom ( mro:RO_0001025 - mro:BFO_0000050 - ) ; - obo:IAO_0000111 "contained in"@en ; - obo:IAO_0000116 "Containment is location not involving parthood, and arises only where some immaterial continuant is involved." , - "Containment obtains in each case between material and immaterial continuants, for instance: lung contained_in thoracic cavity; bladder contained_in pelvic cavity. Hence containment is not a transitive relation. If c part_of c1 at t then we have also, by our definition and by the axioms of mereology applied to spatial regions, c located_in c1 at t. Thus, many examples of instance-level location relations for continuants are in fact cases of instance-level parthood. For material continuants location and parthood coincide. Containment is location not involving parthood, and arises only where some immaterial continuant is involved. To understand this relation, we first define overlap for continuants as follows: c1 overlap c2 at t =def for some c, c part_of c1 at t and c part_of c2 at t. The containment relation on the instance level can then be defined (see definition):"@en , - """Intended meaning: -domain: material entity -range: spatial region or site (immaterial continuant) - """@en ; - obo:IAO_0000118 "contained_in"@en ; - obo:RO_0001900 obo:RO_0001901 ; - ; - rdfs:label "contained in"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001019 -mro:RO_0001019 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - obo:IAO_0000111 "contains"@en ; - obo:RO_0001900 obo:RO_0001901 ; - ; - rdfs:label "contains"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0001025 -mro:RO_0001025 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - rdf:type owl:TransitiveProperty ; - rdfs:domain obo:BFO_0000004 ; - rdfs:range obo:BFO_0000004 ; - owl:propertyChainAxiom ( mro:RO_0001025 - mro:BFO_0000050 - ) ; - obo:IAO_0000111 "located in"@en ; - obo:IAO_0000112 "my brain is located in my head"@en , - "this rat is located in this cage"@en ; - obo:IAO_0000115 "a relation between two independent continuants, the target and the location, in which the target is entirely within the location"@en ; - obo:IAO_0000116 "Location as a relation between instances: The primitive instance-level relation c located_in r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is part_of the spatial region occupied by c1. Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus"@en , - "Most location relations will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime"@en ; - obo:IAO_0000118 "located_in"@en ; - obo:RO_0001900 obo:RO_0001901 ; - "http://www.obofoundry.org/ro/#OBO_REL:located_in" ; - rdfs:label "located in"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0002000 -mro:RO_0002000 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:RO_0002002 ; - obo:IAO_0000112 "the surface of my skin is a 2D boundary of my body"@en ; - obo:IAO_0000115 "a relation between a 2D immaterial entity (the boundary) and a material entity, in which the boundary delimits the material entity"@en ; - obo:IAO_0000116 "A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts."@en , - "Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape."@en ; - obo:IAO_0000118 "2D_boundary_of"@en , - "boundary of"@en , - "is 2D boundary of"@en , - "is boundary of"@en ; - obo:RO_0001900 obo:RO_0001901 ; - rdfs:label "2D boundary of"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0002002 -mro:RO_0002002 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - rdfs:domain obo:BFO_0000040 ; - rdfs:range obo:BFO_0000141 ; - obo:IAO_0000112 "my body has 2D boundary the surface of my skin"@en ; - obo:IAO_0000115 "a relation between a material entity and a 2D immaterial entity (the boundary), in which the boundary delimits the material entity"@en ; - obo:IAO_0000116 "A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts."@en , - "Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape."@en ; - obo:IAO_0000117 "David Osumi-Sutherland" ; - obo:IAO_0000118 "has boundary"@en , - "has_2D_boundary"@en ; - obo:RO_0001900 obo:RO_0001901 ; - rdfs:label "has 2D boundary"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0002350 -mro:RO_0002350 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:BFO_0000050 ; - owl:inverseOf mro:RO_0002351 ; - obo:IAO_0000112 "An organism that is a member of a population of organisms" ; - obo:IAO_0000115 "is member of is a mereological relation between a item and a collection." ; - obo:IAO_0000118 "is member of" , - "member part of" ; - obo:IAO_0000119 "SIO" ; - obo:RO_0001900 obo:RO_0001901 ; - rdfs:label "member of"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0002351 -mro:RO_0002351 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:BFO_0000051 ; - rdf:type owl:IrreflexiveProperty ; - obo:IAO_0000115 "has member is a mereological relation between a collection and an item." ; - obo:IAO_0000119 "SIO" ; - obo:RO_0001900 obo:RO_0001901 ; - rdfs:label "has member"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0010001 -mro:RO_0010001 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:RO_0010002 ; - rdfs:domain obo:BFO_0000031 ; - rdfs:range obo:BFO_0000004 ; - owl:propertyChainAxiom ( mro:RO_0000052 - mro:RO_0000058 - ) ; - obo:IAO_0000112 "Genetic information generically depend on molecules of DNA." , - "The novel *War and Peace* generically depends on this copy of the novel." , - "The pattern shared by chess boards generically depends on any chess board." , - "The score of a symphony g-depends on a copy of the score." , - "This pdf file generically depends on this server." ; - obo:IAO_0000115 "A generically dependent continuant *b* generically depends on an independent continuant *c* at time *t* means: there inheres in *c* a specifically deendent continuant which concretizes *b* at *t*." ; - obo:IAO_0000119 "[072-ISO]" ; - "g-depends on" ; - rdfs:label "generically depends on" . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/RO_0010002 -mro:RO_0010002 rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - rdfs:domain obo:BFO_0000004 ; - rdfs:range obo:BFO_0000031 ; - owl:propertyChainAxiom ( mro:RO_0000059 - mro:RO_0000053 - ) ; - obo:IAO_0000112 "Molecules of DNA are carriers of genetic information." , - "This copy of *War and Peace* is carrier of the novel written by Tolstoy." , - "This hard drive is carrier of these data items." ; - obo:IAO_0000115 "*b* is carrier of *c* at time *t* if and only if *c* *g-depends on* *b* at *t*" ; - obo:IAO_0000119 "[072-ISO]" ; - rdfs:label "is carrier of"@en . +mro:ModalObjectProperty rdf:type owl:ObjectProperty . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/accessory_in mro:accessory_in rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000056 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "accessory in"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/accomplice_in mro:accomplice_in rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000056 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "accomplice in"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/affects mro:affects rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000057 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "affects"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/agent_in mro:agent_in rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000056 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "agent in"@en . @@ -576,7 +686,7 @@ mro:aggregate_bearer_of rdf:type owl:ObjectProperty ; ) ] ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "aggregate bearer of"@en . @@ -587,7 +697,7 @@ mro:aggregate_has_capability rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "aggregate has capability"@en . @@ -598,7 +708,7 @@ mro:aggregate_has_disposition rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "aggregate has disposition"@en . @@ -608,7 +718,7 @@ mro:aggregate_has_quality rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "aggregate has quality"@en . @@ -618,18 +728,18 @@ mro:aggregate_has_role rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "aggregate has role"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/capability_of mro:capability_of rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000052 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "capability of"@en . @@ -639,7 +749,7 @@ mro:capability_of_aggregate rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "capability of aggregate"@en . @@ -650,20 +760,19 @@ mro:caused_by rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "caused by"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/coincides_with mro:coincides_with rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:connected_with ; - rdf:type owl:SymmetricProperty , - owl:TransitiveProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; cco:definition "An immaterial entity im1 coincides with some immaterial entity im2 iff im1 is a spatial part of im2 and im2 is a spatial part of im1."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "coincides with"@en . + cco:is_curated_in_ontology ; + rdfs:label "coincides with"@en ; + "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 @@ -671,22 +780,22 @@ mro:condition_described_by rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ModalObjectProperty ; owl:inverseOf mro:describes_condition ; owl:propertyChainAxiom ( mro:described_by - mro:BFO_0000050 + 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" ; + cco:is_curated_in_ontology ; rdfs:label "condition described by"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/connected_with mro:connected_with rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ModalObjectProperty ; - rdf:type owl:SymmetricProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; cco:definition "An immaterial entity im1 is connected with some immaterial entity im2 iff there exists some immaterial entity im3 that is common to both im1 and im2."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "connected with"@en . + cco:is_curated_in_ontology ; + rdfs:label "connected with"@en ; + "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 @@ -697,7 +806,7 @@ mro:delimits rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "delimits"@en . @@ -707,7 +816,7 @@ mro:described_by rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "described by"@en . @@ -719,7 +828,7 @@ mro:describes rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; 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 . @@ -727,11 +836,11 @@ mro:describes rdf:type owl:ObjectProperty ; ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/describes_condition mro:describes_condition rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:propertyChainAxiom ( mro:BFO_0000051 + 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" ; + cco:is_curated_in_ontology ; rdfs:label "describes condition"@en . @@ -739,35 +848,34 @@ mro:describes_condition rdf:type owl:ObjectProperty ; mro:designated_by rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_subject_of ; owl:inverseOf mro:designates ; - rdf:type owl:InverseFunctionalProperty ; rdfs:range cco:DesignativeInformationContentEntity ; cco:definition "x designated_by y iff y is an instance of Information Content Entity and x is an instance of Entity, such that given some context, y uniquely distinguishes x from other entities."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "designated by"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/designates mro:designates rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_about ; - rdf:type owl:FunctionalProperty ; rdfs:domain cco:DesignativeInformationContentEntity ; cco:definition "x designates y iff x is an instance of an Information Content Entity, and y is an instance of an Entity, such that given some context, x uniquely distinguishes y from other entities."@en ; cco:example_of_usage "a URL designates the location of a Web Page on the internet" , "a person's name designates that person" , "a vehicle identification number designates some vehicle" ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "designates"@en . + cco:is_curated_in_ontology ; + rdfs:label "designates"@en ; + "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 ; - rdf:type owl:SymmetricProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; cco:definition "An immaterial entity im1 is disconnected with some immaterial entity im2 iff there does not exist some immaterial entity im3 that is common to both im1 and im2."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "disconnected with"@en . + cco:is_curated_in_ontology ; + rdfs:label "disconnected with"@en ; + "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 @@ -776,7 +884,7 @@ mro:disposition_of_aggregate rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "disposition of aggregate"@en . @@ -790,7 +898,7 @@ mro:disrupts rdf:type owl:ObjectProperty ; "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" ; + cco:is_curated_in_ontology ; rdfs:label "disrupts"@en ; "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 ; "disrupts"@en . @@ -799,33 +907,33 @@ mro:disrupts rdf:type owl:ObjectProperty ; ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/externally_connects_with mro:externally_connects_with rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:connected_with ; - rdf:type owl:SymmetricProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; cco:definition "An immaterial entity im1 externally connects with some immaterial entity im2 iff im1 connects with im2 and im1 does not overlap with im2."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "externally connects with"@en . + cco:is_curated_in_ontology ; + rdfs:label "externally connects with"@en ; + "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:RO_0000057 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "has accessory"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_accomplice mro:has_accomplice rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000057 ; + rdfs: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" ; + cco:is_curated_in_ontology ; rdfs:label "has accomplice"@en . @@ -846,15 +954,15 @@ mro:has_affiliate rdf:type owl:ObjectProperty ; ) ] ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has affiliate"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_agent mro:has_agent rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000057 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "has agent"@en . @@ -862,7 +970,7 @@ mro:has_agent rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has aunt"@en . @@ -870,7 +978,7 @@ mro:has_aunt rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has brother"@en . @@ -878,17 +986,17 @@ mro:has_brother rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has brother in law"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_capability mro:has_capability rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000053 ; + rdfs: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" ; + cco:is_curated_in_ontology ; rdfs:label "has capability"@en . @@ -896,7 +1004,7 @@ mro:has_capability rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has daughter"@en . @@ -904,29 +1012,17 @@ mro:has_daughter rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has daughter in law"@en . -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_ending_instant -mro:has_ending_instant rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:is_ending_instant_of ; - rdf:type owl:FunctionalProperty ; - rdfs:domain obo:BFO_0000038 ; - rdfs:range obo:BFO_0000148 ; - cco:definition "For Temporal Interval t1 and Temporal Instant t2, t1 has ending instant t2 if and only if no Temporal Instant t3 that is part of t1 is after t2."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "has ending instant"@en . - - ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_familial_relationship_to mro:has_familial_relationship_to rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ModalObjectProperty ; rdfs:domain cco:Person ; rdfs:range cco:Person ; cco:definition "A relationship between persons by virtue of ancestry or legal union."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "has familial relationship to"@en . @@ -934,7 +1030,7 @@ mro:has_familial_relationship_to rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has father"@en . @@ -942,7 +1038,7 @@ mro:has_father rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has father in law"@en . @@ -950,7 +1046,7 @@ mro:has_father_in_law rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has granddaughter"@en . @@ -958,7 +1054,7 @@ mro:has_granddaughter rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has grandfather"@en . @@ -966,7 +1062,7 @@ mro:has_grandfather rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has grandmother"@en . @@ -974,7 +1070,7 @@ mro:has_grandmother rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has grandson"@en . @@ -982,7 +1078,7 @@ mro:has_grandson rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has half brother"@en . @@ -990,7 +1086,7 @@ mro:has_half_brother rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has half sister"@en . @@ -998,18 +1094,18 @@ mro:has_half_sister rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has husband"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_input mro:has_input rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000057 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "has input"@en . @@ -1020,7 +1116,7 @@ mro:has_inside_instant rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has inside instant"@en . @@ -1031,7 +1127,7 @@ mro:has_inside_interval rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has inside interval"@en . @@ -1045,7 +1141,7 @@ mro:has_interest_in rdf:type owl:ObjectProperty ; "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" ; + cco:is_curated_in_ontology ; rdfs:label "has interest in"@en ; "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 ; "has interest in"@en . @@ -1055,7 +1151,7 @@ mro:has_interest_in rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has maternal aunt"@en . @@ -1063,7 +1159,7 @@ mro:has_maternal_aunt rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has maternal first cousin"@en . @@ -1071,7 +1167,7 @@ mro:has_maternal_first_cousin rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has maternal grandfather"@en . @@ -1079,7 +1175,7 @@ mro:has_maternal_grandfather rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has maternal grandmother"@en . @@ -1087,7 +1183,7 @@ mro:has_maternal_grandmother rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has maternal uncle"@en . @@ -1097,7 +1193,7 @@ mro:has_member_of_located_in rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000027 ; rdfs:range obo:BFO_0000040 ; cco:definition "An instance of an Object Aggregate 'has member of located in' an instance of some material entity if and only if every member of that Aggregate is located in the same instance of that material entity."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "has member of located in"@en . @@ -1105,7 +1201,7 @@ mro:has_member_of_located_in rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has mother"@en . @@ -1113,7 +1209,7 @@ mro:has_mother rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has mother in law"@en . @@ -1121,7 +1217,7 @@ mro:has_mother_in_law rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has nephew"@en . @@ -1129,7 +1225,7 @@ mro:has_nephew rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has niece"@en . @@ -1137,20 +1233,20 @@ mro:has_niece rdf:type owl:ObjectProperty ; mro:has_nontangential_part rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:has_spatial_part ; owl:inverseOf mro:nontangential_part_of ; - rdf:type owl:TransitiveProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; cco:definition "x has_nontangential_part y iff x and y are instances of Immaterial Entity, and x has_spatial_part y, such that there does not exist another instance of an Immaterial Entity which externally connects with both x and y."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "has nontangential part"@en . + cco:is_curated_in_ontology ; + rdfs:label "has nontangential part"@en ; + "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:RO_0000057 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "has object"@en . @@ -1161,19 +1257,19 @@ mro:has_organizational_context rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has organizational context"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_output mro:has_output rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000057 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "has output"@en . @@ -1181,7 +1277,7 @@ mro:has_output rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has parent"@en . @@ -1189,7 +1285,7 @@ mro:has_parent rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has paternal aunt"@en . @@ -1197,7 +1293,7 @@ mro:has_paternal_aunt rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has paternal first cousin"@en . @@ -1205,7 +1301,7 @@ mro:has_paternal_first_cousin rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has paternal grandfather"@en . @@ -1213,7 +1309,7 @@ mro:has_paternal_grandfather rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has paternal grandmother"@en . @@ -1221,38 +1317,38 @@ mro:has_paternal_grandmother rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has paternal uncle"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_process_part mro:has_process_part rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:BFO_0000051 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "has process part"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_recipient mro:has_recipient rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000057 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "has recipient"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_sender mro:has_sender rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000057 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "has sender"@en . @@ -1260,7 +1356,7 @@ mro:has_sender rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has sister"@en . @@ -1268,7 +1364,7 @@ mro:has_sister rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has sister in law"@en . @@ -1276,7 +1372,7 @@ mro:has_sister_in_law rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has son"@en . @@ -1284,40 +1380,27 @@ mro:has_son rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has son in law"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_spatial_part mro:has_spatial_part rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:BFO_0000051 , + rdfs:subPropertyOf mro:BFO_0000178 , mro:connected_with ; owl:inverseOf mro:spatial_part_of ; - rdf:type owl:TransitiveProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; cco:definition "y has_spatial_part x iff x, y, z, and q are instances of Immaterial Entity, such that for any z connected with x, z is also connected with y, and q is connected with y but not connected with x."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "has spatial part"@en . -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_starting_instant -mro:has_starting_instant rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:is_starting_instant_of ; - rdf:type owl:FunctionalProperty ; - rdfs:domain obo:BFO_0000038 ; - rdfs:range obo:BFO_0000148 ; - cco:definition "For Temporal Interval t1 and Temporal Instant t2, t1 has starting instant t2 if and only if no temporal instant t3 that is part of t1 is before t2."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "has starting instant"@en . - - ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/has_step_brother mro:has_step_brother rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_step_sibling_of ; owl:inverseOf mro:is_step_brother_of ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "has step brother"@en . @@ -1325,7 +1408,7 @@ mro:has_step_brother rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has step sister"@en . @@ -1336,7 +1419,7 @@ mro:has_subordinate_role rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has subordinate role"@en . @@ -1348,7 +1431,7 @@ mro:has_subsidiary rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has subsidiary"@en . @@ -1356,19 +1439,19 @@ mro:has_subsidiary rdf:type owl:ObjectProperty ; mro:has_tangential_part rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:has_spatial_part ; owl:inverseOf mro:tangential_part_of ; - rdf:type owl:TransitiveProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; cco:definition "x has_tangential_part y iff x, y, and z are instances of Immaterial Entity, and x has_spatial_part y, such that z externally connects with both x and y."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "has tangential part"@en . + cco:is_curated_in_ontology ; + rdfs:label "has tangential part"@en ; + "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" ; + cco:is_curated_in_ontology ; rdfs:label "has uncle"@en . @@ -1376,7 +1459,7 @@ mro:has_uncle rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "has wife"@en . @@ -1390,7 +1473,7 @@ mro:inheres_in_aggregate rdf:type owl:ObjectProperty ; ] ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "inheres in aggregate"@en . @@ -1403,7 +1486,7 @@ mro:instant_is_after rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "instant is after"@en . @@ -1415,7 +1498,7 @@ mro:instant_is_before rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "instant is before"@en . @@ -1427,7 +1510,7 @@ mro:interval_contained_by rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval contained by"@en . @@ -1438,7 +1521,7 @@ mro:interval_contains rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval contains"@en . @@ -1451,7 +1534,7 @@ mro:interval_disjoint rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval disjoint"@en . @@ -1461,7 +1544,7 @@ mro:interval_during rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval during"@en . @@ -1472,7 +1555,7 @@ mro:interval_equals rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval equals"@en . @@ -1483,7 +1566,7 @@ mro:interval_finished_by rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval finished by"@en . @@ -1493,7 +1576,7 @@ mro:interval_finishes rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval finishes"@en . @@ -1504,7 +1587,7 @@ mro:interval_is_after rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval is after"@en . @@ -1514,7 +1597,7 @@ mro:interval_is_before rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval is before"@en . @@ -1526,7 +1609,7 @@ mro:interval_meets rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval meets"@en . @@ -1537,7 +1620,7 @@ mro:interval_met_by rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval met by"@en . @@ -1548,7 +1631,7 @@ mro:interval_overlapped_by rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval overlapped by"@en . @@ -1558,7 +1641,7 @@ mro:interval_overlaps rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval overlaps"@en . @@ -1569,7 +1652,7 @@ mro:interval_started_by rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval started by"@en . @@ -1579,7 +1662,7 @@ mro:interval_starts rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "interval starts"@en . @@ -1587,11 +1670,10 @@ mro:interval_starts rdf:type owl:ObjectProperty ; mro:is_a_interval_measurement_of rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_a_measurement_of ; owl:inverseOf mro:is_measured_by_interval ; - rdf:type owl:FunctionalProperty ; rdfs:domain cco:IntervalMeasurementInformationContentEntity ; cco:definition "x is_a_interval_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale which has uniform intervals but has a zero value that does not correspond to an absence of the attribute being measured."@en ; cco:example_of_usage "a measurement of air temperature on the Celsius scale." ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is a interval measurement of"@en . @@ -1599,22 +1681,21 @@ mro:is_a_interval_measurement_of rdf:type owl:ObjectProperty ; mro:is_a_measurement_of rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:describes ; owl:inverseOf mro:is_measured_by ; - rdf:type owl:FunctionalProperty ; rdfs:domain cco:MeasurementInformationContentEntity ; cco:definition "x is_a_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to some scale or classification scheme."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; 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 . + rdfs:label "is a measurement of"@en ; + "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 ; - rdf:type owl:FunctionalProperty ; rdfs:domain cco:NominalMeasurementInformationContentEntity ; cco:definition "x is_a_nominal_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x classifies y relative to some set of shared, possibly arbitrary, characteristics."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is a nominal measurement of"@en . @@ -1622,10 +1703,9 @@ mro:is_a_nominal_measurement_of rdf:type owl:ObjectProperty ; mro:is_a_ordinal_measurement_of rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_a_measurement_of ; owl:inverseOf mro:is_measured_by_ordinal ; - rdf:type owl:FunctionalProperty ; rdfs:domain cco:OrdinalMeasurementInformationContentEntity ; cco:definition "x is_a_ordinal_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale ordered by rank."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is a ordinal measurement of"@en . @@ -1633,10 +1713,9 @@ mro:is_a_ordinal_measurement_of rdf:type owl:ObjectProperty ; mro:is_a_ratio_measurement_of rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_a_measurement_of ; owl:inverseOf mro:is_measured_by_ratio ; - rdf:type owl:FunctionalProperty ; rdfs:domain cco:RatioMeasurementInformationContentEntity ; cco:definition "x is_a_ratio_measurement_of y iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale having equal unit values and a zero value that corresponds to the absence of the attribute being measured."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is a ratio measurement of"@en . @@ -1648,17 +1727,17 @@ mro:is_about rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is about"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_affected_by mro:is_affected_by rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000056 ; + rdfs: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" ; + cco:is_curated_in_ontology ; rdfs:label "is affected by"@en . @@ -1678,7 +1757,7 @@ mro:is_affiliated_with rdf:type owl:ObjectProperty ; ) ] ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is affiliated with"@en . @@ -1686,28 +1765,28 @@ mro:is_affiliated_with rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is brother of"@en . @@ -1717,7 +1796,7 @@ mro:is_cause_of rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is cause of"@en . @@ -1725,21 +1804,21 @@ mro:is_cause_of rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is daughter of"@en . @@ -1750,14 +1829,14 @@ mro:is_delimited_by rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is descendent of"@en . @@ -1769,43 +1848,32 @@ mro:is_disrupted_by rdf:type owl:ObjectProperty ; "2022-12-30T21:32:27-05:00"^^xsd:dateTime ; "https://cubrc.org"^^xsd:anyURI ; cco:definition "Inverse of disrupts." ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is disrupted by"@en ; "is disrupted by"@en . -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_ending_instant_of -mro:is_ending_instant_of rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - rdf:type owl:InverseFunctionalProperty ; - rdfs:domain obo:BFO_0000148 ; - rdfs:range obo:BFO_0000038 ; - cco:definition "For Temporal Instant t1 and Temporal Interval t2, t1 is ending instant of t2 if and only if no Temporal Instant t3 that is part of t2 is after t1."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "is ending instant of"@en . - - ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_excerpted_from mro:is_excerpted_from rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ModalObjectProperty ; rdfs:domain cco:InformationBearingEntity ; rdfs:range cco:InformationBearingEntity ; cco:definition "An Information Bearing Entity b1 is excerpted from another Information Bearing Entity B2 iff b1 is part of some Information Bearing Entity B1 that is carrier of some Information Content Entity C1, B2 is carrier of some Information Content Entity C2, C1 is not identical with C2, b1 is carrier of some Information Content Entity c1, b2 is an Information Bearing Entity that is part of B2 and b2 is carrier of c1 (i.e. the same Information Content Entity as borne by b1)."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is father of"@en . @@ -1814,7 +1882,7 @@ 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" ; + cco:is_curated_in_ontology ; rdfs:label "is first cousin of"@en . @@ -1825,7 +1893,7 @@ mro:is_geospatial_coordinate_reference_system_of rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is geospatial coordinate reference system of"@en . @@ -1833,49 +1901,49 @@ mro:is_geospatial_coordinate_reference_system_of rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is half-brother of"@en . @@ -1884,21 +1952,21 @@ 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is husband of"@en . @@ -1906,18 +1974,18 @@ mro:is_husband_of rdf:type owl:ObjectProperty ; mro:is_in_law_of rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:has_familial_relationship_to ; owl:inverseOf mro:is_in_law_of ; - rdf:type owl:SymmetricProperty ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "is in-law of"@en . + cco:is_curated_in_ontology ; + rdfs:label "is in-law of"@en ; + "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:RO_0000056 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "is input of"@en . @@ -1927,7 +1995,7 @@ mro:is_inside_instant_of rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is inside instant of"@en . @@ -1939,19 +2007,18 @@ mro:is_interest_of rdf:type owl:ObjectProperty ; "2022-12-30T21:32:27-05:00"^^xsd:dateTime ; "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" ; + cco:is_curated_in_ontology ; rdfs:label "is interest of"@en ; "is interest of"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_made_of mro:is_made_of rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; owl:inverseOf mro:is_material_of ; rdfs:domain obo:BFO_0000030 ; rdfs:range obo:BFO_0000030 ; cco:definition "An object o is made of an object m when m is the material that o consists of and that material does not undergo a change of kind during the creation of o"@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is made of"@en . @@ -1961,14 +2028,14 @@ mro:is_material_of rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000030 ; rdfs:range obo:BFO_0000030 ; cco:definition "An object m is material of an object o when m is the material of which o consists and that material does not undergo a change of kind during the creation of o"@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is maternal aunt of"@en . @@ -1976,7 +2043,7 @@ mro:is_maternal_aunt_of rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; 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 . @@ -1984,82 +2051,77 @@ mro:is_maternal_first_cousin_of rdf:type owl:ObjectProperty ; ### 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is maternal uncle of"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measured_by mro:is_measured_by rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:described_by ; - rdf:type owl:InverseFunctionalProperty ; rdfs:range cco:MeasurementInformationContentEntity ; cco:definition "y is_measured_by x iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to some scale or classification scheme."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is measured by"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measured_by_interval mro:is_measured_by_interval rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_measured_by ; - rdf:type owl:InverseFunctionalProperty ; rdfs:range cco:IntervalMeasurementInformationContentEntity ; cco:definition "y is_measured_by_interval x iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale which has uniform intervals but has a zero value that does not correspond to an absence of the attribute being measured."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is measured by interval"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measured_by_nominal mro:is_measured_by_nominal rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_measured_by ; - rdf:type owl:InverseFunctionalProperty ; rdfs:range cco:NominalMeasurementInformationContentEntity ; cco:definition "y is_measured_by_nominal x iff x is an instance of Information Content Entity and y is an instance of Entity, such that x classifies y relative to some set of shared, possibly arbitrary, characteristics."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is measured by nominal"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measured_by_ordinal mro:is_measured_by_ordinal rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_measured_by ; - rdf:type owl:InverseFunctionalProperty ; rdfs:range cco:OrdinalMeasurementInformationContentEntity ; cco:definition "y is_measured_by_ordinal x iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale ordered by rank."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is measured by ordinal"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measured_by_ratio mro:is_measured_by_ratio rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_measured_by ; - rdf:type owl:InverseFunctionalProperty ; rdfs:range cco:RatioMeasurementInformationContentEntity ; cco:definition "y is_measured_by_ratio x iff x is an instance of Information Content Entity and y is an instance of Entity, such that x describes some attribute of y relative to a scale having equal unit values and a zero value that corresponds to the absence of the attribute being measured."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is measured by ratio"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_measurement_unit_of mro:is_measurement_unit_of rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0010001 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "is measurement unit of"@en . @@ -2068,7 +2130,7 @@ 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" ; + cco:is_curated_in_ontology ; rdfs:label "is mention of"@en . @@ -2076,43 +2138,43 @@ mro:is_mention_of rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is niece of"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_object_of mro:is_object_of rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000056 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "is object of"@en . @@ -2122,17 +2184,17 @@ mro:is_organizational_context_of rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is organizational context of"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_output_of mro:is_output_of rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000056 ; + rdfs: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" ; + cco:is_curated_in_ontology ; rdfs:label "is output of"@en . @@ -2141,24 +2203,24 @@ 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" ; + cco:is_curated_in_ontology ; rdfs:label "is parent of"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_part_of_process mro:is_part_of_process rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:BFO_0000050 ; + rdfs: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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is paternal aunt of"@en . @@ -2166,7 +2228,7 @@ mro:is_paternal_aunt_of rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; 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 . @@ -2174,21 +2236,21 @@ mro:is_paternal_first_cousin_of rdf:type owl:ObjectProperty ; ### 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is paternal uncle of"@en . @@ -2196,13 +2258,12 @@ mro:is_paternal_uncle_of rdf:type owl:ObjectProperty ; mro:is_permitted_by rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:prescribed_by ; owl:inverseOf mro:permits ; - rdf:type owl:AsymmetricProperty , - owl:IrreflexiveProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range cco:ActionRegulation ; cco:definition "y is_permitted_by x at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent may be agent in y."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "is permitted by"@en . + cco:is_curated_in_ontology ; + rdfs:label "is permitted by"@en ; + "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 @@ -2213,7 +2274,7 @@ mro:is_predecessor_of rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is predecessor of"@en . @@ -2221,23 +2282,22 @@ mro:is_predecessor_of rdf:type owl:ObjectProperty ; mro:is_prohibited_by rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:prescribed_by ; owl:inverseOf mro:prohibits ; - rdf:type owl:AsymmetricProperty , - owl:IrreflexiveProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range cco:ActionRegulation ; cco:definition "y is_prohibited_by y at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent must not be agent in y."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "is prohibited by"@en . + cco:is_curated_in_ontology ; + rdfs:label "is prohibited by"@en ; + "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:RO_0010001 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "is reference system of"@en . @@ -2245,13 +2305,12 @@ mro:is_reference_system_of rdf:type owl:ObjectProperty ; mro:is_required_by rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:prescribed_by ; owl:inverseOf mro:requires ; - rdf:type owl:AsymmetricProperty , - owl:IrreflexiveProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range cco:ActionRegulation ; cco:definition "y is_required_by x at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent must be agent in y."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "is required by"@en . + cco:is_curated_in_ontology ; + rdfs:label "is required by"@en ; + "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 @@ -2259,7 +2318,7 @@ 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" ; + cco:is_curated_in_ontology ; rdfs:label "is second cousin of"@en . @@ -2268,50 +2327,46 @@ 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is sister of"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_site_of mro:is_site_of rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:BFO_0000067 ; + rdfs:subPropertyOf mro:BFO_0000183 ; owl:inverseOf mro:occurs_at ; - rdfs:domain [ rdf:type owl:Class ; - owl:unionOf ( obo:BFO_0000006 - obo:BFO_0000029 - ) - ] ; + 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is son of"@en . @@ -2319,26 +2374,15 @@ mro:is_son_of rdf:type owl:ObjectProperty ; mro:is_spouse_of rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:has_familial_relationship_to ; owl:inverseOf mro:is_spouse_of ; - rdf:type owl:SymmetricProperty ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "is spouse of"@en . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_starting_instant_of -mro:is_starting_instant_of rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - rdf:type owl:InverseFunctionalProperty ; - rdfs:domain obo:BFO_0000148 ; - rdfs:range obo:BFO_0000038 ; - cco:definition "For Temporal Instant t1 and Temporal Interval t2, t1 is starting instant of t2 if and only if no Temporal Instant t3 that is part of t2 is before t1."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "is starting instant of"@en . + cco:is_curated_in_ontology ; + rdfs:label "is spouse of"@en ; + "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" ; + cco:is_curated_in_ontology ; rdfs:label "is step-brother of"@en . @@ -2346,15 +2390,15 @@ mro:is_step_brother_of rdf:type owl:ObjectProperty ; mro:is_step_sibling_of rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:has_familial_relationship_to ; owl:inverseOf mro:is_step_sibling_of ; - rdf:type owl:SymmetricProperty ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "is step-sibling of"@en . + cco:is_curated_in_ontology ; + rdfs:label "is step-sibling of"@en ; + "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" ; + cco:is_curated_in_ontology ; rdfs:label "is step-sister of"@en . @@ -2363,7 +2407,7 @@ 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" ; + cco:is_curated_in_ontology ; rdfs:label "is subject of"@en . @@ -2373,7 +2417,7 @@ mro:is_subordinate_role_to rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is subordinate role to"@en . @@ -2384,7 +2428,7 @@ mro:is_subsidiary_of rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is subsidiary of"@en . @@ -2394,7 +2438,7 @@ mro:is_successor_of rdf:type owl:ObjectProperty ; rdfs:domain obo:BFO_0000004 ; rdfs:range obo:BFO_0000004 ; cco:definition "A continuant c2 is a successor of some continuant c1 iff there is some process p1 and c1 is an input to p1 and c2 is an output of p1. Inverse of is predecessor. "@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "is successor of"@en . @@ -2406,19 +2450,23 @@ mro:is_supervised_by rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is supervised by"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/is_temporal_region_of mro:is_temporal_region_of rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:occurs_on ; rdfs:domain obo:BFO_0000008 ; - rdfs:range obo:BFO_0000015 ; + 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 . + cco:is_curated_in_ontology ; + rdfs:label "is temporal region of"@en ; + "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 @@ -2426,14 +2474,14 @@ 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is uncle of"@en . @@ -2442,14 +2490,14 @@ 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" ; + cco:is_curated_in_ontology ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "is wife of"@en . @@ -2460,66 +2508,59 @@ mro:language_used_in rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; 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 ; - rdf:type owl:TransitiveProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; cco:definition "An immaterial entity im1 is a nontangential part of some immaterial entity im2 iff im1 is a spatial part of im2 and there does not exist an immaterial entity im3 such that im3 externally connects with im1 and im3 externally connects with im2."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "nontangential part of"@en . + cco:is_curated_in_ontology ; + rdfs:label "nontangential part of"@en ; + "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 [ rdf:type owl:Class ; - owl:unionOf ( obo:BFO_0000006 - obo:BFO_0000029 - ) - ] ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "occurs at"@en . -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/occurs_on -mro:occurs_on rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - rdfs:domain obo:BFO_0000015 ; - rdfs:range obo:BFO_0000008 ; - cco:definition "x occurs_on y iff x is an instance of a process or process boundary and y is an instance of a temporal region, such that the duration of x temporally projects on y."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "occurs on"@en . - - ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/partially_overlaps_with mro:partially_overlaps_with rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:connected_with ; - rdf:type owl:SymmetricProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; cco:definition "An immaterial entity im1 partially overlaps with some immaterial entity im2 iff im1 overlaps with im2 and im1 is not a spatial part of im2 and im2 is not a spatial part of im1."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "partially overlaps with"@en . + cco:is_curated_in_ontology ; + rdfs:label "partially overlaps with"@en ; + "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 ; - rdf:type owl:AsymmetricProperty , - owl:IrreflexiveProperty ; rdfs:domain cco:ActionRegulation ; rdfs:range obo:BFO_0000015 ; cco:definition "x permits y at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent may be agent in y."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "permits"@en . + cco:is_curated_in_ontology ; + rdfs:label "permits"@en ; + "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 @@ -2528,7 +2569,7 @@ mro:prescribed_by rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "prescribed by"@en . @@ -2540,38 +2581,17 @@ mro:prescribes rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "prescribes"@en . -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/process_preceded_by -mro:process_preceded_by rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - owl:inverseOf mro:process_precedes ; - cco:definition "p1 preceded_by p2 if and only if p1 and p2 are instances of processes, and t1 and t2 are instances of temporal regions, and p1 occurs_on t1, and p2 occurs_on t2, and t2 interval_is_before t1 or t2 interval_meets t1."@en ; - cco:definition_source "Derived from the deprecated http://www.obofoundry.org/ro/ro.owl#preceded_by" ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "process preceded by"@en ; - rdfs:seeAlso "http://purl.obolibrary.org/obo/BFO_0000062" . - - -### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/process_precedes -mro:process_precedes rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:ModalObjectProperty ; - cco:definition "p1 process_precedes p2 if and only if p1 and p2 are instances of processes, and t1 and t2 are instances of temporal regions, and p1 occurs_on t1, and p2 occurs_on t2, and t1 interval_is_before t2 or t1 interval_meets t2."@en ; - cco:definition_source "Derived from the deprecated http://www.obofoundry.org/ro/ro.owl#precedes" ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "process precedes"@en ; - rdfs:seeAlso "http://purl.obolibrary.org/obo/BFO_0000063" . - - ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/process_started_by mro:process_started_by rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:caused_by ; owl:inverseOf mro:process_starts ; cco:definition "x process_started_by y iff x and y are instances of processes, and x is caused_by y, and i is an instance of a temporal instant, and r is an instant of a temporal interval, and x has starting instance i, and y occurs on r, and r interval contains i."@en ; cco:elucidation "A process x is started by another process y when y causes x while y is still occurring."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:label "process started by"@en . @@ -2580,20 +2600,19 @@ 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" ; + cco:is_curated_in_ontology ; rdfs:label "process starts"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/prohibits mro:prohibits rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:prescribes ; - rdf:type owl:AsymmetricProperty , - owl:IrreflexiveProperty ; rdfs:domain cco:ActionRegulation ; rdfs:range obo:BFO_0000015 ; cco:definition "x prohibits y at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent must not be agent in y."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "prohibits"@en . + cco:is_curated_in_ontology ; + rdfs:label "prohibits"@en ; + "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 @@ -2602,16 +2621,16 @@ mro:quality_of_aggregate rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "quality of aggregate"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/receives mro:receives rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000056 ; + rdfs: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" ; + cco:is_curated_in_ontology ; rdfs:label "receives"@en . @@ -2619,10 +2638,9 @@ mro:receives rdf:type owl:ObjectProperty ; mro:represented_by rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_subject_of ; owl:inverseOf mro:represents ; - rdf:type owl:InverseFunctionalProperty ; rdfs:range cco:RepresentationalInformationContentEntity ; cco:definition "y represented_by x iff x is an instance of Information Content Entity, and y is an instance of Entity, and z is carrier of x, such that x is about y in virtue of there existing an isomorphism between characteristics of z and y."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; rdfs:comment "See notes for inverse property." ; rdfs:label "represented by"@en . @@ -2630,25 +2648,24 @@ mro:represented_by rdf:type owl:ObjectProperty ; ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/represents mro:represents rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:is_about ; - rdf:type owl:FunctionalProperty ; rdfs:domain cco:RepresentationalInformationContentEntity ; cco:definition "x represents y iff x is an instance of Information Content Entity, y is an instance of Entity, and z is carrier of x, such that x is about y in virtue of there existing an isomorphism between characteristics of z and y."@en ; cco:elucidation "The relationship that is being defined here is that between the content of a photographic image and its object, between the content of a video and its objects and events, between the content of an audio recording and the sounds or events generating those sounds, or between the content of a written transcript and the verbal event that it transcribes."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; 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 . + rdfs:label "represents"@en ; + "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 ; - rdf:type owl:AsymmetricProperty , - owl:IrreflexiveProperty ; rdfs:domain cco:ActionRegulation ; rdfs:range obo:BFO_0000015 ; cco:definition "x requires y at t iff: x is an instance of Action Regulation at time t, and y is an instance of Act at time t, and x prescribes that some agent must be agent in y."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "requires"@en . + cco:is_curated_in_ontology ; + rdfs:label "requires"@en ; + "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 @@ -2657,28 +2674,27 @@ mro:role_of_aggregate rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "role of aggregate"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/sends mro:sends rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0000056 ; + rdfs: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" ; + cco:is_curated_in_ontology ; rdfs:label "sends"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/spatial_part_of mro:spatial_part_of rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:BFO_0000050 , + rdfs:subPropertyOf mro:BFO_0000176 , mro:connected_with ; - rdf:type owl:TransitiveProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; cco:definition "x spatial_part_of y iff x, y, z, and q are instances of Immaterial Entity, such that for any z connected with x, z is also connected with y, and q is connected with y but not connected with x."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; + cco:is_curated_in_ontology ; 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 . @@ -2690,29 +2706,29 @@ mro:supervises rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "supervises"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/tangential_part_of mro:tangential_part_of rdf:type owl:ObjectProperty ; rdfs:subPropertyOf mro:spatial_part_of ; - rdf:type owl:TransitiveProperty ; rdfs:domain obo:BFO_0000141 ; rdfs:range obo:BFO_0000141 ; cco:definition "An immaterial entity im1 is a tangential part of some immaterial entity im2 iff im1 is a spatial part of im2 and there exists some immaterial entity im3 such that im3 externally connects with im1 and im3 externally connects with im2."@en ; - cco:is_curated_in_ontology "http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ModalRelationOntology" ; - rdfs:label "tangential part of"@en . + cco:is_curated_in_ontology ; + rdfs:label "tangential part of"@en ; + "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:RO_0010001 ; + 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" ; + cco:is_curated_in_ontology ; rdfs:label "time zone identifier used by"@en . @@ -2720,7 +2736,7 @@ mro:time_zone_identifier_used_by rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "uses"@en . @@ -2730,7 +2746,7 @@ mro:uses_geospatial_coordinate_reference_system rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "uses geospatial coordinate reference system"@en . @@ -2740,37 +2756,37 @@ mro:uses_language rdf:type owl:ObjectProperty ; 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" ; + cco:is_curated_in_ontology ; rdfs:label "uses language"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/uses_measurement_unit mro:uses_measurement_unit rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0010002 ; + rdfs: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" ; + cco:is_curated_in_ontology ; rdfs:label "uses measurement unit"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/uses_reference_system mro:uses_reference_system rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0010002 ; + rdfs: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" ; + cco:is_curated_in_ontology ; rdfs:label "uses reference system"@en . ### http://www.ontologyrepository.com/CommonCoreOntologies/ModalRelationOntology/uses_time_zone_identifier mro:uses_time_zone_identifier rdf:type owl:ObjectProperty ; - rdfs:subPropertyOf mro:RO_0010002 ; + rdfs: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" ; + cco:is_curated_in_ontology ; rdfs:label "uses time zone identifier"@en . @@ -2885,4 +2901,5 @@ cco:InformationBearingEntity rdf:type owl:Class . ### http://www.ontologyrepository.com/CommonCoreOntologies/InformationContentEntity cco:InformationContentEntity rdf:type owl:Class . -### Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi + +### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi