@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 skos: <http://www.w3.org/2004/02/skos/core#> . @prefix metadata_def: <http://data.bioontology.org/metadata/def/> . @prefix oboinowl_gen: <http://www.geneontology.org/formats/oboInOwl#> . @prefix ns0: <BFO\u00202\u0020Reference:\u0020The\u0020realm\u0020of\u0020occurrents\u0020is\u0020less\u0020pervasively\u0020marked\u0020by\u0020the\u0020presence\u0020of\u0020natural\u0020units\u0020than\u0020is\u0020the\u0020case\u0020in\u0020the\u0020realm\u0020of\u0020independent\u0020continuants.\u0020Thus\u0020there\u0020is\u0020here\u0020no\u0020counterpart\u0020of\u0020‘object’.\u0020In\u0020BFO\u00201.0\u0020‘process’\u0020served\u0020as\u0020such\u0020a\u0020counterpart.\u0020In\u0020BFO\u00202.0\u0020‘process’\u0020is,\u0020rather,\u0020the\u0020occurrent\u0020counterpart\u0020of\u0020‘material\u0020entity’.\u0020Those\u0020natural\u0020–\u0020as\u0020contrasted\u0020with\u0020engineered,\u0020which\u0020here\u0020means:\u0020deliberately\u0020executed\u0020–\u0020units\u0020which\u0020do\u0020exist\u0020in\u0020the\u0020realm\u0020of\u0020occurrents\u0020are\u0020typically\u0020either\u0020parasitic\u0020on\u0020the\u0020existence\u0020of\u0020natural\u0020units\u0020on\u0020the\u0020continuant\u0020side,\u0020or\u0020they\u0020are\u0020fiat\u0020in\u0020nature.\u0020Thus\u0020we\u0020can\u0020count\u0020lives;\u0020we\u0020can\u0020count\u0020football\u0020games;\u0020we\u0020can\u0020count\u0020chemical\u0020reactions\u0020performed\u0020in\u0020experiments\u0020or\u0020in\u0020chemical\u0020manufacturing.\u0020We\u0020cannot\u0020count\u0020the\u0020processes\u0020taking\u0020place,\u0020for\u0020instance,\u0020in\u0020an\u0020episode\u0020of\u0020insect\u0020mating\u0020behavior.Even\u0020where\u0020natural\u0020units\u0020are\u0020identifiable,\u0020for\u0020example\u0020cycles\u0020in\u0020a\u0020cyclical\u0020process\u0020such\u0020as\u0020the\u0020beating\u0020of\u0020a\u0020heart\u0020or\u0020an\u0020organism’s\u0020sleep/> . @prefix ns1: <(iff\u0020(Process\u0020a)\u0020(and\u0020(Occurrent\u0020a)\u0020(exists\u0020(b)\u0020(properTemporalPartOf\u0020b\u0020a))\u0020(exists\u0020(c\u0020t)\u0020(and\u0020(MaterialEntity\u0020c)\u0020(specificallyDependsOnAt\u0020a\u0020c\u0020t)))))\u0020//> . obo_purl:BFO_0000015 metadata_def:mappingLoom "process" ; metadata_def:mappingSameURI obo_purl:BFO_0000015 ; metadata_def:prefLabel "process" ; obo_purl:BFO_0000179 "process" ; obo_purl:BFO_0000180 "Process" ; obo_purl:IAO_0000112 "a process of cell-division, a beating of the heart"@en, "a process of meiosis"@en, "a process of sleeping"@en, "the course of a disease"@en, "the flight of a bird"@en, "the life of an organism"@en, "your process of aging."@en ; obo_purl:IAO_0000115 "An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.", "An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t."@en, "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])", "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])"@en ; obo_purl:IAO_0000116 "BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)"@en ; obo_purl:IAO_0000412 <http://purl.obolibrary.org/obo/agro.owl>, <http://purl.obolibrary.org/obo/cob.owl>, <http://purl.obolibrary.org/obo/ecocore.owl>, <http://purl.obolibrary.org/obo/envo.owl>, <http://purl.obolibrary.org/obo/obi.owl> ; obo_purl:IAO_0000602 "(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] " ; oboinowl_gen:hasOBONamespace "source" ; oboinowl_gen:id "BFO:0000015" ; a owl:Class ; rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ; rdfs:label "process", "process"@en ; rdfs:subClassOf obo_purl:BFO_0000003 ; skos:notation "BFO:0000015" . obo_purl:BFO_0000054 rdfs:range obo_purl:BFO_0000015 . obo_purl:BFO_0000055 rdfs:domain obo_purl:BFO_0000015 . obo_purl:ENVO_02500000 rdfs:subClassOf obo_purl:BFO_0000015 . obo_purl:ExO_0000002 rdfs:subClassOf obo_purl:BFO_0000015 . obo_purl:FOODON_00002451 rdfs:subClassOf obo_purl:BFO_0000015 . obo_purl:GO_0003674 rdfs:subClassOf obo_purl:BFO_0000015 . obo_purl:GO_0008150 rdfs:subClassOf obo_purl:BFO_0000015 . obo_purl:OBI_0000011 rdfs:subClassOf obo_purl:BFO_0000015 . obo_purl:RO_0002018 rdfs:domain obo_purl:BFO_0000015 ; rdfs:range obo_purl:BFO_0000015 . obo_purl:RO_0002211 rdfs:domain obo_purl:BFO_0000015 ; rdfs:range obo_purl:BFO_0000015 . obo_purl:RO_0002215 rdfs:range obo_purl:BFO_0000015 . obo_purl:RO_0002232 rdfs:domain obo_purl:BFO_0000015 . obo_purl:RO_0002233 rdfs:domain obo_purl:BFO_0000015 . obo_purl:RO_0002310 rdfs:subClassOf obo_purl:BFO_0000015 . obo_purl:RO_0002334 rdfs:domain obo_purl:BFO_0000015 ; rdfs:range obo_purl:BFO_0000015 . obo_purl:RO_0002595 rdfs:range obo_purl:BFO_0000015 . obo_purl:RO_0009501 rdfs:range obo_purl:BFO_0000015 . obo_purl:RO_0019000 rdfs:domain obo_purl:BFO_0000015 .
@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 skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix oboinowl_gen: <http://www.geneontology.org/formats/oboInOwl#> .
@prefix ns0: <BFO\u00202\u0020Reference:\u0020The\u0020realm\u0020of\u0020occurrents\u0020is\u0020less\u0020pervasively\u0020marked\u0020by\u0020the\u0020presence\u0020of\u0020natural\u0020units\u0020than\u0020is\u0020the\u0020case\u0020in\u0020the\u0020realm\u0020of\u0020independent\u0020continuants.\u0020Thus\u0020there\u0020is\u0020here\u0020no\u0020counterpart\u0020of\u0020‘object’.\u0020In\u0020BFO\u00201.0\u0020‘process’\u0020served\u0020as\u0020such\u0020a\u0020counterpart.\u0020In\u0020BFO\u00202.0\u0020‘process’\u0020is,\u0020rather,\u0020the\u0020occurrent\u0020counterpart\u0020of\u0020‘material\u0020entity’.\u0020Those\u0020natural\u0020–\u0020as\u0020contrasted\u0020with\u0020engineered,\u0020which\u0020here\u0020means:\u0020deliberately\u0020executed\u0020–\u0020units\u0020which\u0020do\u0020exist\u0020in\u0020the\u0020realm\u0020of\u0020occurrents\u0020are\u0020typically\u0020either\u0020parasitic\u0020on\u0020the\u0020existence\u0020of\u0020natural\u0020units\u0020on\u0020the\u0020continuant\u0020side,\u0020or\u0020they\u0020are\u0020fiat\u0020in\u0020nature.\u0020Thus\u0020we\u0020can\u0020count\u0020lives;\u0020we\u0020can\u0020count\u0020football\u0020games;\u0020we\u0020can\u0020count\u0020chemical\u0020reactions\u0020performed\u0020in\u0020experiments\u0020or\u0020in\u0020chemical\u0020manufacturing.\u0020We\u0020cannot\u0020count\u0020the\u0020processes\u0020taking\u0020place,\u0020for\u0020instance,\u0020in\u0020an\u0020episode\u0020of\u0020insect\u0020mating\u0020behavior.Even\u0020where\u0020natural\u0020units\u0020are\u0020identifiable,\u0020for\u0020example\u0020cycles\u0020in\u0020a\u0020cyclical\u0020process\u0020such\u0020as\u0020the\u0020beating\u0020of\u0020a\u0020heart\u0020or\u0020an\u0020organism’s\u0020sleep/> .
@prefix ns1: <(iff\u0020(Process\u0020a)\u0020(and\u0020(Occurrent\u0020a)\u0020(exists\u0020(b)\u0020(properTemporalPartOf\u0020b\u0020a))\u0020(exists\u0020(c\u0020t)\u0020(and\u0020(MaterialEntity\u0020c)\u0020(specificallyDependsOnAt\u0020a\u0020c\u0020t)))))\u0020//> .

obo_purl:BFO_0000015
    metadata_def:mappingLoom "process" ;
    metadata_def:mappingSameURI obo_purl:BFO_0000015 ;
    metadata_def:prefLabel "process" ;
    obo_purl:BFO_0000179 "process" ;
    obo_purl:BFO_0000180 "Process" ;
    obo_purl:IAO_0000112 "a process of cell-division,  a beating of the heart"@en, "a process of meiosis"@en, "a process of sleeping"@en, "the course of a disease"@en, "the flight of a bird"@en, "the life of an organism"@en, "your process of aging."@en ;
    obo_purl:IAO_0000115 "An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.", "An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t."@en, "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])", "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])"@en ;
    obo_purl:IAO_0000116 "BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)"@en ;
    obo_purl:IAO_0000412 <http://purl.obolibrary.org/obo/agro.owl>, <http://purl.obolibrary.org/obo/cob.owl>, <http://purl.obolibrary.org/obo/ecocore.owl>, <http://purl.obolibrary.org/obo/envo.owl>, <http://purl.obolibrary.org/obo/obi.owl> ;
    obo_purl:IAO_0000602 "(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] " ;
    oboinowl_gen:hasOBONamespace "source" ;
    oboinowl_gen:id "BFO:0000015" ;
    a owl:Class ;
    rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
    rdfs:label "process", "process"@en ;
    rdfs:subClassOf obo_purl:BFO_0000003 ;
    skos:notation "BFO:0000015" .

obo_purl:BFO_0000054
    rdfs:range obo_purl:BFO_0000015 .

obo_purl:BFO_0000055
    rdfs:domain obo_purl:BFO_0000015 .

obo_purl:ENVO_02500000
    rdfs:subClassOf obo_purl:BFO_0000015 .

obo_purl:ExO_0000002
    rdfs:subClassOf obo_purl:BFO_0000015 .

obo_purl:FOODON_00002451
    rdfs:subClassOf obo_purl:BFO_0000015 .

obo_purl:GO_0003674
    rdfs:subClassOf obo_purl:BFO_0000015 .

obo_purl:GO_0008150
    rdfs:subClassOf obo_purl:BFO_0000015 .

obo_purl:OBI_0000011
    rdfs:subClassOf obo_purl:BFO_0000015 .

obo_purl:RO_0002018
    rdfs:domain obo_purl:BFO_0000015 ;
    rdfs:range obo_purl:BFO_0000015 .

obo_purl:RO_0002211
    rdfs:domain obo_purl:BFO_0000015 ;
    rdfs:range obo_purl:BFO_0000015 .

obo_purl:RO_0002215
    rdfs:range obo_purl:BFO_0000015 .

obo_purl:RO_0002232
    rdfs:domain obo_purl:BFO_0000015 .

obo_purl:RO_0002233
    rdfs:domain obo_purl:BFO_0000015 .

obo_purl:RO_0002310
    rdfs:subClassOf obo_purl:BFO_0000015 .

obo_purl:RO_0002334
    rdfs:domain obo_purl:BFO_0000015 ;
    rdfs:range obo_purl:BFO_0000015 .

obo_purl:RO_0002595
    rdfs:range obo_purl:BFO_0000015 .

obo_purl:RO_0009501
    rdfs:range obo_purl:BFO_0000015 .

obo_purl:RO_0019000
    rdfs:domain obo_purl:BFO_0000015 .