@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(ZeroDimensionalContinuantFiatBoundary\u0020a)\u0020(and\u0020(ContinuantFiatBoundary\u0020a)\u0020(exists\u0020(b)\u0020(and\u0020(ZeroDimensionalSpatialRegion\u0020b)\u0020(forall\u0020(t)\u0020(locatedInAt\u0020a\u0020b\u0020t))))))\u0020//> .
obo_purl:BFO_0000142
owl:disjointWith obo_purl:BFO_0000147 .
obo_purl:BFO_0000147
metadata_def:mappingLoom "zerodimensionalcontinuantfiatboundary" ;
metadata_def:mappingSameURI obo_purl:BFO_0000147 ;
metadata_def:prefLabel "zero-dimensional continuant fiat boundary" ;
metadata:prefixIRI "BFO:0000147" ;
obo_purl:BFO_0000179 "0d-cf-boundary" ;
obo_purl:BFO_0000180 "ZeroDimensionalContinuantFiatBoundary" ;
obo_purl:IAO_0000112 "the geographic North Pole"@en, "the point of origin of some spatial coordinate system."@en, "the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet"@en ;
obo_purl:IAO_0000116 "zero dimension continuant fiat boundaries are not spatial points. Considering the example 'the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet' : There are many frames in which that point is zooming through many points in space. Whereas, no matter what the frame, the quadripoint is always in the same relation to the boundaries of Colorado, Utah, New Mexico, and Arizona."@en ;
obo_purl:IAO_0000600 "a zero-dimensional continuant fiat boundary is a fiat point whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [031-001])"@en ;
obo_purl:IAO_0000602 "(iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "zero-dimensional continuant fiat boundary"@en ;
rdfs:subClassOf obo_purl:BFO_0000140 .
@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(ZeroDimensionalContinuantFiatBoundary\u0020a)\u0020(and\u0020(ContinuantFiatBoundary\u0020a)\u0020(exists\u0020(b)\u0020(and\u0020(ZeroDimensionalSpatialRegion\u0020b)\u0020(forall\u0020(t)\u0020(locatedInAt\u0020a\u0020b\u0020t))))))\u0020//> .
obo_purl:BFO_0000142
owl:disjointWith obo_purl:BFO_0000147 .
obo_purl:BFO_0000147
metadata_def:mappingLoom "zerodimensionalcontinuantfiatboundary" ;
metadata_def:mappingSameURI obo_purl:BFO_0000147 ;
metadata_def:prefLabel "zero-dimensional continuant fiat boundary" ;
metadata:prefixIRI "BFO:0000147" ;
obo_purl:BFO_0000179 "0d-cf-boundary" ;
obo_purl:BFO_0000180 "ZeroDimensionalContinuantFiatBoundary" ;
obo_purl:IAO_0000112 "the geographic North Pole"@en, "the point of origin of some spatial coordinate system."@en, "the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet"@en ;
obo_purl:IAO_0000116 "zero dimension continuant fiat boundaries are not spatial points. Considering the example 'the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet' : There are many frames in which that point is zooming through many points in space. Whereas, no matter what the frame, the quadripoint is always in the same relation to the boundaries of Colorado, Utah, New Mexico, and Arizona."@en ;
obo_purl:IAO_0000600 "a zero-dimensional continuant fiat boundary is a fiat point whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [031-001])"@en ;
obo_purl:IAO_0000602 "(iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "zero-dimensional continuant fiat boundary"@en ;
rdfs:subClassOf obo_purl:BFO_0000140 .