@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix obo_purl: <http://purl.obolibrary.org/obo/> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix ns0: <Occurrents\u0020are\u0020not\u0020subject\u0020to\u0020change\u0020and\u0020so\u0020parthood\u0020between\u0020occurrents\u0020holds\u0020for\u0020all\u0020the\u0020times\u0020that\u0020the\u0020part\u0020exists.\u0020Many\u0020continuants\u0020are\u0020subject\u0020to\u0020change,\u0020so\u0020parthood\u0020between\u0020continuants\u0020will\u0020only\u0020hold\u0020at\u0020certain\u0020times,\u0020but\u0020this\u0020is\u0020difficult\u0020to\u0020specify\u0020in\u0020OWL.\u0020See\u0020https://code.google.com/p/obo-relations/wiki/> . @prefix ns1: <http://ontologydesignpatterns.org/wiki/> . @prefix ns2: <https://wiki.geneontology.org/> . @prefix ns3: <http://www.obofoundry.org/ro/#> . @prefix oboinowl_gen: <http://www.geneontology.org/formats/oboInOwl#> . @prefix ns4: <http://purl.obolibrary.org/obo/uberon/core#> . obo_purl:BFO_0000050 obo_purl:IAO_0000111 "is part of"@en ; obo_purl: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_purl:IAO_0000115 "a core relation that holds between a part and its whole"@en ; obo_purl: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 http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/"@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_purl:IAO_0000118 "part_of"@en ; obo_purl:RO_0001900 obo_purl:RO_0001901 ; obo_purl:RO_0040042 obo_purl:BFO_0000002, obo_purl:BFO_0000003, obo_purl:BFO_0000004, obo_purl:BFO_0000017, obo_purl:BFO_0000019, obo_purl:BFO_0000020, obo_purl:BFO_0000031 ; oboinowl_gen:hasDbXref "BFO:0000050" ; oboinowl_gen:hasOBONamespace "external", "spatial" ; oboinowl_gen:id "part_of" ; oboinowl_gen:inSubset obo_purl:valid_for_go_annotation_extension, obo_purl:valid_for_go_gp2term, obo_purl:valid_for_go_ontology, obo_purl:valid_for_gocam ; oboinowl_gen:shorthand "part_of" ; a owl:ObjectProperty, owl:TransitiveProperty ; rdfs:label "part of", "part of"@en ; rdfs:seeAlso <http://ontologydesignpatterns.org/wiki/Community:Parts_and_Collections>, <http://ontologydesignpatterns.org/wiki/Submissions:PartOf>, "http://www.obofoundry.org/ro/#OBO_REL:part_of", "https://wiki.geneontology.org/Part_of"^^<http://www.w3.org/2001/XMLSchema#anyURI> ; rdfs:subPropertyOf obo_purl:RO_0002131 ; owl:inverseOf obo_purl:BFO_0000051 . obo_purl:BSPO_0000122 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:BSPO_0000123 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:BSPO_0000124 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:BSPO_0000125 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:BSPO_0000126 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:BSPO_0001113 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:BSPO_0001115 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:BSPO_0005001 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:BSPO_0015101 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:BSPO_0020001 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:BSPO_0030006 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:RO_0002007 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:RO_0002223 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:RO_0002229 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:RO_0002350 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:RO_0002380 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:RO_0002571 rdfs:subPropertyOf obo_purl:BFO_0000050 . obo_purl:RO_0002576 rdfs:subPropertyOf obo_purl:BFO_0000050 . ns4:layer_part_of rdfs:subPropertyOf obo_purl:BFO_0000050 .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo_purl: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix ns0: <Occurrents\u0020are\u0020not\u0020subject\u0020to\u0020change\u0020and\u0020so\u0020parthood\u0020between\u0020occurrents\u0020holds\u0020for\u0020all\u0020the\u0020times\u0020that\u0020the\u0020part\u0020exists.\u0020Many\u0020continuants\u0020are\u0020subject\u0020to\u0020change,\u0020so\u0020parthood\u0020between\u0020continuants\u0020will\u0020only\u0020hold\u0020at\u0020certain\u0020times,\u0020but\u0020this\u0020is\u0020difficult\u0020to\u0020specify\u0020in\u0020OWL.\u0020See\u0020https://code.google.com/p/obo-relations/wiki/> .
@prefix ns1: <http://ontologydesignpatterns.org/wiki/> .
@prefix ns2: <https://wiki.geneontology.org/> .
@prefix ns3: <http://www.obofoundry.org/ro/#> .
@prefix oboinowl_gen: <http://www.geneontology.org/formats/oboInOwl#> .
@prefix ns4: <http://purl.obolibrary.org/obo/uberon/core#> .

obo_purl:BFO_0000050
    obo_purl:IAO_0000111 "is part of"@en ;
    obo_purl: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_purl:IAO_0000115 "a core relation that holds between a part and its whole"@en ;
    obo_purl: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 http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/"@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_purl:IAO_0000118 "part_of"@en ;
    obo_purl:RO_0001900 obo_purl:RO_0001901 ;
    obo_purl:RO_0040042 obo_purl:BFO_0000002, obo_purl:BFO_0000003, obo_purl:BFO_0000004, obo_purl:BFO_0000017, obo_purl:BFO_0000019, obo_purl:BFO_0000020, obo_purl:BFO_0000031 ;
    oboinowl_gen:hasDbXref "BFO:0000050" ;
    oboinowl_gen:hasOBONamespace "external", "spatial" ;
    oboinowl_gen:id "part_of" ;
    oboinowl_gen:inSubset obo_purl:valid_for_go_annotation_extension, obo_purl:valid_for_go_gp2term, obo_purl:valid_for_go_ontology, obo_purl:valid_for_gocam ;
    oboinowl_gen:shorthand "part_of" ;
    a owl:ObjectProperty, owl:TransitiveProperty ;
    rdfs:label "part of", "part of"@en ;
    rdfs:seeAlso <http://ontologydesignpatterns.org/wiki/Community:Parts_and_Collections>, <http://ontologydesignpatterns.org/wiki/Submissions:PartOf>, "http://www.obofoundry.org/ro/#OBO_REL:part_of", "https://wiki.geneontology.org/Part_of"^^<http://www.w3.org/2001/XMLSchema#anyURI> ;
    rdfs:subPropertyOf obo_purl:RO_0002131 ;
    owl:inverseOf obo_purl:BFO_0000051 .

obo_purl:BSPO_0000122
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:BSPO_0000123
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:BSPO_0000124
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:BSPO_0000125
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:BSPO_0000126
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:BSPO_0001113
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:BSPO_0001115
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:BSPO_0005001
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:BSPO_0015101
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:BSPO_0020001
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:BSPO_0030006
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:RO_0002007
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:RO_0002223
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:RO_0002229
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:RO_0002350
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:RO_0002380
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:RO_0002571
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

obo_purl:RO_0002576
    rdfs:subPropertyOf obo_purl:BFO_0000050 .

ns4:layer_part_of
    rdfs:subPropertyOf obo_purl:BFO_0000050 .