@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 metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix metadata: <http://data.bioontology.org/metadata/> .
@prefix ns0: <(iff\u0020(ProcessBoundary\u0020a)\u0020(exists\u0020(p)\u0020(and\u0020(Process\u0020p)\u0020(temporalPartOf\u0020a\u0020p)\u0020(not\u0020(exists\u0020(b)\u0020(properTemporalPartOf\u0020b\u0020a))))))\u0020//> .
@prefix ns1: <(forall\u0020(x)\u0020(if\u0020(ProcessBoundary\u0020x)\u0020(exists\u0020(y)\u0020(and\u0020(ZeroDimensionalTemporalRegion\u0020y)\u0020(occupiesTemporalRegion\u0020x\u0020y)))))\u0020//> .
obo_purl:BFO_0000008
owl:disjointWith obo_purl:BFO_0000035 .
obo_purl:BFO_0000035
metadata_def:mappingLoom "processboundary" ;
metadata_def:mappingSameURI obo_purl:BFO_0000035 ;
metadata_def:prefLabel "process boundary" ;
metadata:prefixIRI "BFO:0000035" ;
obo_purl:BFO_0000179 "p-boundary" ;
obo_purl:BFO_0000180 "ProcessBoundary" ;
obo_purl:IAO_0000112 "the boundary between the 2nd and 3rd year of your life."@en ;
obo_purl:IAO_0000115 "p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])"@en ;
obo_purl:IAO_0000601 "Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])"@en ;
obo_purl:IAO_0000602 "(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] ", "(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "process boundary"@en ;
rdfs:subClassOf obo_purl:BFO_0000003 .
@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 metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix metadata: <http://data.bioontology.org/metadata/> .
@prefix ns0: <(iff\u0020(ProcessBoundary\u0020a)\u0020(exists\u0020(p)\u0020(and\u0020(Process\u0020p)\u0020(temporalPartOf\u0020a\u0020p)\u0020(not\u0020(exists\u0020(b)\u0020(properTemporalPartOf\u0020b\u0020a))))))\u0020//> .
@prefix ns1: <(forall\u0020(x)\u0020(if\u0020(ProcessBoundary\u0020x)\u0020(exists\u0020(y)\u0020(and\u0020(ZeroDimensionalTemporalRegion\u0020y)\u0020(occupiesTemporalRegion\u0020x\u0020y)))))\u0020//> .
obo_purl:BFO_0000008
owl:disjointWith obo_purl:BFO_0000035 .
obo_purl:BFO_0000035
metadata_def:mappingLoom "processboundary" ;
metadata_def:mappingSameURI obo_purl:BFO_0000035 ;
metadata_def:prefLabel "process boundary" ;
metadata:prefixIRI "BFO:0000035" ;
obo_purl:BFO_0000179 "p-boundary" ;
obo_purl:BFO_0000180 "ProcessBoundary" ;
obo_purl:IAO_0000112 "the boundary between the 2nd and 3rd year of your life."@en ;
obo_purl:IAO_0000115 "p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])"@en ;
obo_purl:IAO_0000601 "Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])"@en ;
obo_purl:IAO_0000602 "(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] ", "(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "process boundary"@en ;
rdfs:subClassOf obo_purl:BFO_0000003 .