diff --git a/CHANGELOG.md b/CHANGELOG.md
index c73c8a923..dee490ddf 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -9,6 +9,7 @@ and the versioning aims to respect [Semantic Versioning](http://semver.org/spec/
### Added
- methanol (#1827)
- has prefix (#1835)
+- imported 'characteristic of' and subclasses from RO (#1838)
- quantity (#1839)
### Changed
diff --git a/src/ontology/imports/ro-extracted.owl b/src/ontology/imports/ro-extracted.owl
index 2726b95ac..47822e087 100644
--- a/src/ontology/imports/ro-extracted.owl
+++ b/src/ontology/imports/ro-extracted.owl
@@ -457,7 +457,90 @@ A continuant cannot be part of an occurrent: use 'participates in'. An
-
+
+
+ has part
+ my body has part my brain (continuant parthood, two material entities)
+ my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)
+ this year has part this day (occurrent parthood)
+ a core relation that holds between a whole and its part
+ 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.
+ Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/
+ 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'.
+ has_part
+
+ has part
+
+
+
+
+ has part
+
+
+
+
+
+ my body has part my brain (continuant parthood, two material entities)
+
+
+
+
+
+ my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)
+
+
+
+
+
+ this year has part this day (occurrent parthood)
+
+
+
+
+
+ a core relation that holds between a whole and its part
+
+
+
+
+
+ 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.
+
+
+
+
+
+ Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/
+
+
+
+
+
+ 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'.
+
+
+
+
+
+ has_part
+
+
+
+
+
+
+
+
+
+
+
+ has part
+
+
@@ -625,6 +708,70 @@ A continuant cannot be part of an occurrent: use 'participates in'. An
+
+
+
+
+ inheres in
+ this fragility is a characteristic of this vase
+ this red color is a characteristic of this apple
+ a relation between a specifically dependent continuant (the characteristic) and any other entity (the bearer), in which the characteristic depends on the bearer for its existence.
+ inheres_in
+
+ Note that this relation was previously called "inheres in", but was changed to be called "characteristic of" because BFO2 uses "inheres in" in a more restricted fashion. This relation differs from BFO2:inheres_in in two respects: (1) it does not impose a range constraint, and thus it allows qualities of processes, as well as of information entities, whereas BFO2 restricts inheres_in to only apply to independent continuants (2) it is declared functional, i.e. something can only be a characteristic of one thing.
+ characteristic of
+
+
+
+
+ inheres in
+
+
+
+
+
+ this fragility is a characteristic of this vase
+
+
+
+
+
+ this red color is a characteristic of this apple
+
+
+
+
+
+ a relation between a specifically dependent continuant (the characteristic) and any other entity (the bearer), in which the characteristic depends on the bearer for its existence.
+
+
+
+
+
+ inheres_in
+
+
+
+
+
+
+
+
+
+
+
+ Note that this relation was previously called "inheres in", but was changed to be called "characteristic of" because BFO2 uses "inheres in" in a more restricted fashion. This relation differs from BFO2:inheres_in in two respects: (1) it does not impose a range constraint, and thus it allows qualities of processes, as well as of information entities, whereas BFO2 restricts inheres_in to only apply to independent continuants (2) it is declared functional, i.e. something can only be a characteristic of one thing.
+
+
+
+
+
+ characteristic of
+
+
+
+
+
@@ -766,6 +913,12 @@ A continuant cannot be part of an occurrent: use 'participates in'. An
http://www.obofoundry.org/ro/#OBO_REL:has_participant
has participant
+
+
+
+ has participant
+
+
@@ -814,10 +967,175 @@ A continuant cannot be part of an occurrent: use 'participates in'. An
http://www.obofoundry.org/ro/#OBO_REL:has_participant
+
+
+
+
+
+
+
+ this catalysis function is a function of this enzyme
+ a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence
+ 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.
+ function_of
+ is function of
+ This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
+ function of
+
+
+
+
+ this catalysis function is a function of this enzyme
+
+
-
+
+
+ a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence
+
+
+
+
+
+ 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.
+
+
+
+
+
+ function_of
+
+
+
+
+
+ is function of
+
+
+
+
+
+ This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
+
+
+
+
- has participant
+ function of
+
+
+
+
+
+
+
+
+
+ this red color is a quality of this apple
+ a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence
+ A quality inheres in its bearer at all times for which the quality exists.
+ is quality of
+ quality_of
+ This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
+ quality of
+
+
+
+
+ this red color is a quality of this apple
+
+
+
+
+
+ a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence
+
+
+
+
+
+ A quality inheres in its bearer at all times for which the quality exists.
+
+
+
+
+
+ is quality of
+
+
+
+
+
+ quality_of
+
+
+
+
+
+ This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
+
+
+
+
+
+ quality of
+
+
+
+
+
+
+
+
+
+ this investigator role is a role of this person
+ a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence
+ 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.
+ is role of
+ role_of
+ This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
+ role of
+
+
+
+
+ this investigator role is a role of this person
+
+
+
+
+
+ a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence
+
+
+
+
+
+ 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.
+
+
+
+
+
+ is role of
+
+
+
+
+
+ role_of
+
+
+
+
+
+ This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
+
+
+
+
+
+ role of
@@ -974,6 +1292,35 @@ A continuant cannot be part of an occurrent: use 'participates in'. An
+
+
+
+
+ inverse of has disposition
+ This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
+ disposition of
+
+
+
+
+ inverse of has disposition
+
+
+
+
+
+ This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
+
+
+
+
+
+ disposition of
+
+
+
+
+
@@ -987,6 +1334,12 @@ A continuant cannot be part of an occurrent: use 'participates in'. An
location of
+
+
+
+ is location of
+
+
@@ -1029,12 +1382,6 @@ A continuant cannot be part of an occurrent: use 'participates in'. An
location of
-
-
-
- is location of
-
-
@@ -1734,6 +2081,70 @@ A continuant cannot be part of an occurrent: use 'participates in'. An
+
+
+
+
+ q characteristic of part of w if and only if there exists some p such that q inheres in p and p part of w.
+ Because part_of is transitive, inheres in is a sub-relation of characteristic of part of
+
+ inheres in part of
+
+
+ characteristic of part of
+
+
+
+
+
+ q characteristic of part of w if and only if there exists some p such that q inheres in p and p part of w.
+
+
+
+
+
+ Because part_of is transitive, inheres in is a sub-relation of characteristic of part of
+
+
+
+
+
+
+
+
+
+
+
+ inheres in part of
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ characteristic of part of
+
+
+
+
+
+
+
+
+
+
+
@@ -2031,6 +2442,35 @@ Each of these 3 primitives can be composed to yield a cross-product of different
+
+
+
+
+
+ depends on
+
+
+
+
+
+
+
+
+
+
+
+ depends on
+
+
+
+
+
+
+
+
+
+
+
@@ -2379,6 +2819,7 @@ Each of these 3 primitives can be composed to yield a cross-product of different
+
A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
independent continuant
@@ -2400,6 +2841,7 @@ Each of these 3 primitives can be composed to yield a cross-product of different
+
An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time.
material entity