@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 "obo1: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_0000115 "A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances.", "A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances."@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", "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 .
obo_purl:BFO_0000054
rdfs:domain obo_purl:BFO_0000017 .
obo_purl:BFO_0000055
rdfs:range obo_purl:BFO_0000017 .
obo_purl:IAO_0000033
obo_purl:IAO_0000136 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 "obo1: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_0000115 "A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances.", "A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances."@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", "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 .
obo_purl:BFO_0000054
rdfs:domain obo_purl:BFO_0000017 .
obo_purl:BFO_0000055
rdfs:range obo_purl:BFO_0000017 .
obo_purl:IAO_0000033
obo_purl:IAO_0000136 obo_purl:BFO_0000017 .