@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: <http://data.bioontology.org/metadata/obo/> . @prefix ns1: <(iff\u0020(SpecificallyDependentContinuant\u0020a)\u0020(and\u0020(Continuant\u0020a)\u0020(forall\u0020(t)\u0020(if\u0020(existsAt\u0020a\u0020t)\u0020(exists\u0020(b)\u0020(and\u0020(IndependentContinuant\u0020b)\u0020(not\u0020(SpatialRegion\u0020b))\u0020(specificallyDependsOnAt\u0020a\u0020b\u0020t)))))))\u0020//> . obo_purl:BFO_0000004 owl:disjointWith obo_purl:BFO_0000020 . obo_purl:BFO_0000017 rdfs:subClassOf obo_purl:BFO_0000020 . obo_purl:BFO_0000019 rdfs:subClassOf obo_purl:BFO_0000020 . obo_purl:BFO_0000020 metadata_def:mappingLoom "specificallydependentcontinuant" ; metadata_def:mappingSameURI obo_purl:BFO_0000020 ; metadata_def:prefLabel "specifically dependent continuant" ; ns0:part_of obo_purl:BFO_0000020 ; metadata:prefixIRI "obo1:BFO_0000020" ; metadata:treeView obo_purl:BFO_0000020 ; obo_purl:BFO_0000179 "sdc" ; obo_purl:BFO_0000180 "SpecificallyDependentContinuant" ; obo_purl:IAO_0000112 "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"@en, "of one-sided specifically dependent continuants: the mass of this tomato"@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."@en, "the disposition of this fish to decay"@en, "the function of this heart: to pump blood"@en, "the mutual dependence of proton donors and acceptors in chemical reactions [79"@en, "the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction"@en, "the pink color of a medium rare piece of grilled filet mignon at its center"@en, "the role of being a doctor"@en, "the shape of this hole."@en, "the smell of this portion of mozzarella"@en ; obo_purl:IAO_0000115 "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.", "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."@en, "b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n &gt; 1 independent continuants c1, … cn which are not spatial regions are such that for all 1 i &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])", "b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n &gt; 1 independent continuants c1, … cn which are not spatial regions are such that for all 1 i &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])"@en, "b is a specifically dependent continuant = Def. b is a continuant & 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])", "b is a specifically dependent continuant = Def. b is a continuant & 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])"@en ; obo_purl:IAO_0000116 "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."@en ; 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] " ; a owl:Class ; rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ; rdfs:label "specifically dependent continuant", "specifically dependent continuant"@en ; rdfs:subClassOf obo_purl:BFO_0000002 ; owl:disjointWith obo_purl:BFO_0000031 . obo_purl:PATO_0000001 rdfs:subClassOf obo_purl:BFO_0000020 . obo_purl:RO_0000053 rdfs:range obo_purl:BFO_0000020 . obo_purl:RO_0000058 rdfs:range obo_purl:BFO_0000020 . obo_purl:RO_0000059 rdfs:domain obo_purl:BFO_0000020 .
@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: <http://data.bioontology.org/metadata/obo/> .
@prefix ns1: <(iff\u0020(SpecificallyDependentContinuant\u0020a)\u0020(and\u0020(Continuant\u0020a)\u0020(forall\u0020(t)\u0020(if\u0020(existsAt\u0020a\u0020t)\u0020(exists\u0020(b)\u0020(and\u0020(IndependentContinuant\u0020b)\u0020(not\u0020(SpatialRegion\u0020b))\u0020(specificallyDependsOnAt\u0020a\u0020b\u0020t)))))))\u0020//> .

obo_purl:BFO_0000004
    owl:disjointWith obo_purl:BFO_0000020 .

obo_purl:BFO_0000017
    rdfs:subClassOf obo_purl:BFO_0000020 .

obo_purl:BFO_0000019
    rdfs:subClassOf obo_purl:BFO_0000020 .

obo_purl:BFO_0000020
    metadata_def:mappingLoom "specificallydependentcontinuant" ;
    metadata_def:mappingSameURI obo_purl:BFO_0000020 ;
    metadata_def:prefLabel "specifically dependent continuant" ;
    ns0:part_of obo_purl:BFO_0000020 ;
    metadata:prefixIRI "obo1:BFO_0000020" ;
    metadata:treeView obo_purl:BFO_0000020 ;
    obo_purl:BFO_0000179 "sdc" ;
    obo_purl:BFO_0000180 "SpecificallyDependentContinuant" ;
    obo_purl:IAO_0000112 "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"@en, "of one-sided specifically dependent continuants: the mass of this tomato"@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."@en, "the disposition of this fish to decay"@en, "the function of this heart: to pump blood"@en, "the mutual dependence of proton donors and acceptors in chemical reactions [79"@en, "the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction"@en, "the pink color of a medium rare piece of grilled filet mignon at its center"@en, "the role of being a doctor"@en, "the shape of this hole."@en, "the smell of this portion of mozzarella"@en ;
    obo_purl:IAO_0000115 "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.", "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."@en, "b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n &gt; 1 independent continuants c1, … cn which are not spatial regions are such that for all 1  i &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])", "b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n &gt; 1 independent continuants c1, … cn which are not spatial regions are such that for all 1  i &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])"@en, "b is a specifically dependent continuant = Def. b is a continuant & 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])", "b is a specifically dependent continuant = Def. b is a continuant & 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])"@en ;
    obo_purl:IAO_0000116 "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."@en ;
    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] " ;
    a owl:Class ;
    rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ;
    rdfs:label "specifically dependent continuant", "specifically dependent continuant"@en ;
    rdfs:subClassOf obo_purl:BFO_0000002 ;
    owl:disjointWith obo_purl:BFO_0000031 .

obo_purl:PATO_0000001
    rdfs:subClassOf obo_purl:BFO_0000020 .

obo_purl:RO_0000053
    rdfs:range obo_purl:BFO_0000020 .

obo_purl:RO_0000058
    rdfs:range obo_purl:BFO_0000020 .

obo_purl:RO_0000059
    rdfs:domain obo_purl:BFO_0000020 .