{"@context":{"obo_purl":"http://purl.obolibrary.org/obo/","rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","owl":"http://www.w3.org/2002/07/owl#","rdfs":"http://www.w3.org/2000/01/rdf-schema#","metadata_def":"http://data.bioontology.org/metadata/def/","metadata":"http://data.bioontology.org/metadata/"},"@graph":[{"@id":"obo_purl:BFO_0000017","@type":"owl:Class","rdfs:subClassOf":{"@id":"obo_purl:BFO_0000020"},"rdfs:label":{"@language":"en","@value":"realizable entity"},"rdfs:isDefinedBy":{"@id":"obo_purl:bfo.owl"},"owl:disjointWith":{"@id":"obo_purl:BFO_0000019"},"obo_purl:IAO_0000112":[{"@language":"en","@value":"the role of this boundary to delineate where Utah and Colorado meet"},{"@language":"en","@value":"the disposition of this piece of metal to conduct electricity."},{"@language":"en","@value":"the disposition of your blood to coagulate"},{"@language":"en","@value":"the function of your reproductive organs"},{"@language":"en","@value":"the role of being a doctor"}],"metadata:def/prefLabel":{"@language":"en","@value":"realizable entity"},"metadata:def/mappingLoom":"realizableentity","metadata:def/mappingSameURI":{"@id":"obo_purl:BFO_0000017"},"metadata:prefixIRI":"BFO:0000017","obo_purl:BFO_0000179":"realizable","obo_purl:BFO_0000180":"RealizableEntity","obo_purl:IAO_0000600":{"@language":"en","@value":"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])"},"obo_purl:IAO_0000601":{"@language":"en","@value":"All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])"},"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] "]},{"@id":"obo_purl:BFO_0000016","rdfs:subClassOf":{"@id":"obo_purl:BFO_0000017"}},{"@id":"obo_purl:BFO_0000023","rdfs:subClassOf":{"@id":"obo_purl:BFO_0000017"}}]}
{"@context":{"obo_purl":"http://purl.obolibrary.org/obo/","rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","owl":"http://www.w3.org/2002/07/owl#","rdfs":"http://www.w3.org/2000/01/rdf-schema#","metadata_def":"http://data.bioontology.org/metadata/def/","metadata":"http://data.bioontology.org/metadata/"},"@graph":[{"@id":"obo_purl:BFO_0000017","@type":"owl:Class","rdfs:subClassOf":{"@id":"obo_purl:BFO_0000020"},"rdfs:label":{"@language":"en","@value":"realizable entity"},"rdfs:isDefinedBy":{"@id":"obo_purl:bfo.owl"},"owl:disjointWith":{"@id":"obo_purl:BFO_0000019"},"obo_purl:IAO_0000112":[{"@language":"en","@value":"the role of this boundary to delineate where Utah and Colorado meet"},{"@language":"en","@value":"the disposition of this piece of metal to conduct electricity."},{"@language":"en","@value":"the disposition of your blood to coagulate"},{"@language":"en","@value":"the function of your reproductive organs"},{"@language":"en","@value":"the role of being a doctor"}],"metadata:def/prefLabel":{"@language":"en","@value":"realizable entity"},"metadata:def/mappingLoom":"realizableentity","metadata:def/mappingSameURI":{"@id":"obo_purl:BFO_0000017"},"metadata:prefixIRI":"BFO:0000017","obo_purl:BFO_0000179":"realizable","obo_purl:BFO_0000180":"RealizableEntity","obo_purl:IAO_0000600":{"@language":"en","@value":"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])"},"obo_purl:IAO_0000601":{"@language":"en","@value":"All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])"},"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] "]},{"@id":"obo_purl:BFO_0000016","rdfs:subClassOf":{"@id":"obo_purl:BFO_0000017"}},{"@id":"obo_purl:BFO_0000023","rdfs:subClassOf":{"@id":"obo_purl:BFO_0000017"}}]}