2013-08-21 16:25:17 -04:00
<?xml version="1.0"?>
<rdf:RDF xmlns="http://purl.obolibrary.org/obo/bfo.owl#"
xml:base="http://purl.obolibrary.org/obo/bfo.owl"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:obo="http://purl.obolibrary.org/obo/"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<!-- http://purl.obolibrary.org/obo/BFO_0000017 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000017"><!-- realizable entity -->
2013-10-03 16:38:24 -04:00
2013-08-21 16:25:17 -04:00
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/><!-- specifically dependent continuant -->
<owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000019"/><!-- quality -->
<!-- has associated axiom(fol) --><obo: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] </obo:IAO_0000602>
<!-- has associated axiom(fol) --><obo:IAO_0000602>(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] </obo:IAO_0000602>
<!-- BFO CLIF specification label --><obo:BFO_0000180>RealizableEntity</obo:BFO_0000180>
<!-- has associated axiom(nl) --><obo:IAO_0000601 xml:lang="en">All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])</obo:IAO_0000601>
<!-- elucidation --><obo:IAO_0000600 xml:lang="en">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:IAO_0000600>
<!-- BFO OWL specification label --><obo:BFO_0000179>realizable</obo:BFO_0000179>
<!-- example of usage --><obo:IAO_0000112 xml:lang="en">the disposition of this piece of metal to conduct electricity.</obo:IAO_0000112>
<!-- example of usage --><obo:IAO_0000112 xml:lang="en">the disposition of your blood to coagulate</obo:IAO_0000112>
<!-- example of usage --><obo:IAO_0000112 xml:lang="en">the function of your reproductive organs</obo:IAO_0000112>
<!-- example of usage --><obo:IAO_0000112 xml:lang="en">the role of being a doctor</obo:IAO_0000112>
<!-- example of usage --><obo:IAO_0000112 xml:lang="en">the role of this boundary to delineate where Utah and Colorado meet</obo:IAO_0000112>
<rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
</owl:Class>
</rdf:RDF>
