32 lines
2.9 KiB
Text
32 lines
2.9 KiB
Text
<?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 -->
|
|
|
|
<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>
|