Get a permanent link to this class
semantic resources
ECOCORE
Last submission date
August 12, 2026
| ID | http://purl.obolibrary.org/obo/BFO_0000050
http://purl.obolibrary.org/obo/BFO_0000050
http://ecoportal.lifewatch.eu/ontologies/ECOCORE/BFO_0000050
Loading |
|---|---|
| Type | http://www.w3.org/2002/07/owl#ObjectProperty |
| Preferred name | part of part_of |
| Definitions | a core relation that holds between a part and its whole |
Raw data
| obo_purl:RO_0040042 | |
|---|---|
| obo_purl:IAO_0000111 | is part of is part of |
| oboinowl_gen:inSubset | |
| rdfs:subPropertyOf | |
| rdfs:seeAlso | |
| oboinowl_gen:hasDbXref | BFO:0000050 |
| obo_purl:IAO_0000116 | 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 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'. 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/ 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 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'. 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/ 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. 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. |
| obo_purl:IAO_0000115 | a core relation that holds between a part and its whole a core relation that holds between a part and its whole |
| oboinowl_gen:shorthand | part_of |
| obo_purl:IAO_0000112 | my brain is part of my body (continuant parthood, two material entities) my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity) my brain is part of my body (continuant parthood, two material entities) my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity) this day is part of this year (occurrent parthood) this day is part of this year (occurrent parthood) |
| obo_purl:IAO_0000118 | part_of part_of |
| obo_purl:RO_0001900 | |
| oboinowl_gen:hasOBONamespace | protein quality external uberon |
| owl:inverseOf | |
| rdf:type | |
| oboinowl_gen:id | part_of |
| rdfs:label | part of part of part_of |