@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 oboinowl_gen: <http://www.geneontology.org/formats/oboInOwl#> . obo_purl:BFO_0000066 obo_purl: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 ; oboinowl_gen:inSubset obo_purl:valid_for_go_annotation_extension, obo_purl:valid_for_go_ontology, obo_purl:valid_for_gocam ; a owl:ObjectProperty ; 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:domain obo_purl:BFO_0000003 ; rdfs:label "occurs in"@en ; rdfs:range obo_purl:BFO_0000004 ; owl:inverseOf obo_purl:BFO_0000067 .
@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 oboinowl_gen: <http://www.geneontology.org/formats/oboInOwl#> .

obo_purl:BFO_0000066
    obo_purl: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 ;
    oboinowl_gen:inSubset obo_purl:valid_for_go_annotation_extension, obo_purl:valid_for_go_ontology, obo_purl:valid_for_gocam ;
    a owl:ObjectProperty ;
    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:domain obo_purl:BFO_0000003 ;
    rdfs:label "occurs in"@en ;
    rdfs:range obo_purl:BFO_0000004 ;
    owl:inverseOf obo_purl:BFO_0000067 .