JSON

has part

^ http://purl.obolibrary.org/obo/BFO_0000051


Property info

IAO 0000111

has part

IAO 0000112

this year has part this day (occurrent parthood),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)

IAO 0000115

a core relation that holds between a whole and its part

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.,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 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'.

IAO 0000118

has_part

RO 0001900

http://purl.obolibrary.org/obo/RO_0001901

Property relations

Parents