<?xml version="1.0" encoding="UTF-8"?> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:metadata_def="http://data.bioontology.org/metadata/def/" xmlns:metadata="http://data.bioontology.org/metadata/"> <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000020"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/> <metadata_def:mappingLoom>specificallydependentcontinuant</metadata_def:mappingLoom> <metadata_def:prefLabel>specifically dependent continuant</metadata_def:prefLabel> <obo_purl:IAO_0000115 xml:lang="en">b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n &amp;gt; 1 independent continuants c1, … cn which are not spatial regions are such that for all 1 i &amp;lt; j n, ci and cj share no common parts, are such that for each 1 i n, b s-depends_on ci at every time t during the course of b’s existence (axiom label in BFO2 Reference: [131-004])</obo_purl:IAO_0000115> <obo_purl:IAO_0000115 xml:lang="en">b is a specifically dependent continuant = Def. b is a continuant &amp; there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])</obo_purl:IAO_0000115> <obo_purl:IAO_0000115 xml:lang="en">A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same.</obo_purl:IAO_0000115> <metadata:prefixIRI>BFO:0000020</metadata:prefixIRI> <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/> <rdfs:label xml:lang="en">specifically dependent continuant</rdfs:label> <obo_purl:IAO_0000116 xml:lang="en">Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc.</obo_purl:IAO_0000116> <obo_purl:IAO_0000112 xml:lang="en">the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the function of this heart: to pump blood</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the smell of this portion of mozzarella</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">Reciprocal specifically dependent continuants: the function of this key to open this lock and the mutually dependent disposition of this lock: to be opened by this key</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the mutual dependence of proton donors and acceptors in chemical reactions [79</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the pink color of a medium rare piece of grilled filet mignon at its center</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the disposition of this fish to decay</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the shape of this hole.</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">of relational dependent continuants (multiple bearers): John’s love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates.</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">of one-sided specifically dependent continuants: the mass of this tomato</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the role of being a doctor</obo_purl:IAO_0000112> <obo_purl:BFO_0000180>SpecificallyDependentContinuant</obo_purl:BFO_0000180> <obo_purl:IAO_0000602>(iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] </obo_purl:IAO_0000602> <obo_purl:BFO_0000179>sdc</obo_purl:BFO_0000179> </owl:Class> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000017"> <rdfs:subClassOf> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000020"> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/> </rdf:Description> </rdfs:subClassOf> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000019"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000050"> <obo_purl:RO_0040042 rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/PATO_0000001"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/RO_0000053"> <rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/> </rdf:Description> </rdf:RDF>