@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: <(forall\u0020(x)\u0020(if\u0020(RealizableEntity\u0020x)\u0020(and\u0020(SpecificallyDependentContinuant\u0020x)\u0020(exists\u0020(y)\u0020(and\u0020(IndependentContinuant\u0020y)\u0020(not\u0020(SpatialRegion\u0020y))\u0020(inheresIn\u0020x\u0020y))))))\u0020//> .
@prefix ns1: <(forall\u0020(x\u0020t)\u0020(if\u0020(RealizableEntity\u0020x)\u0020(exists\u0020(y)\u0020(and\u0020(IndependentContinuant\u0020y)\u0020(not\u0020(SpatialRegion\u0020y))\u0020(bearerOfAt\u0020y\u0020x\u0020t)))))\u0020//> .
obo_purl:BFO_0000016
rdfs:subClassOf obo_purl:BFO_0000017 .
obo_purl:BFO_0000017
metadata_def:mappingLoom "realizableentity" ;
metadata_def:mappingSameURI obo_purl:BFO_0000017 ;
metadata_def:prefLabel "realizable entity" ;
metadata:prefixIRI "BFO:0000017" ;
obo_purl:BFO_0000179 "realizable" ;
obo_purl:BFO_0000180 "RealizableEntity" ;
obo_purl:IAO_0000112 "the disposition of this piece of metal to conduct electricity."@en, "the disposition of your blood to coagulate"@en, "the function of your reproductive organs"@en, "the role of being a doctor"@en, "the role of this boundary to delineate where Utah and Colorado meet"@en ;
obo_purl:IAO_0000600 "To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])"@en ;
obo_purl:IAO_0000601 "All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])"@en ;
obo_purl:IAO_0000602 "(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] ", "(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "realizable entity"@en ;
rdfs:subClassOf obo_purl:BFO_0000020 ;
owl:disjointWith obo_purl:BFO_0000019 .
obo_purl:BFO_0000023
rdfs:subClassOf obo_purl:BFO_0000017 .
@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: <(forall\u0020(x)\u0020(if\u0020(RealizableEntity\u0020x)\u0020(and\u0020(SpecificallyDependentContinuant\u0020x)\u0020(exists\u0020(y)\u0020(and\u0020(IndependentContinuant\u0020y)\u0020(not\u0020(SpatialRegion\u0020y))\u0020(inheresIn\u0020x\u0020y))))))\u0020//> .
@prefix ns1: <(forall\u0020(x\u0020t)\u0020(if\u0020(RealizableEntity\u0020x)\u0020(exists\u0020(y)\u0020(and\u0020(IndependentContinuant\u0020y)\u0020(not\u0020(SpatialRegion\u0020y))\u0020(bearerOfAt\u0020y\u0020x\u0020t)))))\u0020//> .
obo_purl:BFO_0000016
rdfs:subClassOf obo_purl:BFO_0000017 .
obo_purl:BFO_0000017
metadata_def:mappingLoom "realizableentity" ;
metadata_def:mappingSameURI obo_purl:BFO_0000017 ;
metadata_def:prefLabel "realizable entity" ;
metadata:prefixIRI "BFO:0000017" ;
obo_purl:BFO_0000179 "realizable" ;
obo_purl:BFO_0000180 "RealizableEntity" ;
obo_purl:IAO_0000112 "the disposition of this piece of metal to conduct electricity."@en, "the disposition of your blood to coagulate"@en, "the function of your reproductive organs"@en, "the role of being a doctor"@en, "the role of this boundary to delineate where Utah and Colorado meet"@en ;
obo_purl:IAO_0000600 "To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])"@en ;
obo_purl:IAO_0000601 "All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])"@en ;
obo_purl:IAO_0000602 "(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] ", "(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] " ;
a owl:Class ;
rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
rdfs:label "realizable entity"@en ;
rdfs:subClassOf obo_purl:BFO_0000020 ;
owl:disjointWith obo_purl:BFO_0000019 .
obo_purl:BFO_0000023
rdfs:subClassOf obo_purl:BFO_0000017 .