Class: 'specifically dependent continuant'
http://purl.obolibrary.org/obo/BFO_0000020
Annotations (20)
-
'BFO OWL specification label' "sdc" ()
-
'BFO CLIF specification label' "SpecificallyDependentContinuant" ()
-
'example of usage' "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)
-
'example of usage' "of one-sided specifically dependent continuants: the mass of this tomato" (en)
-
'example of usage' "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)
-
'example of usage' "the disposition of this fish to decay" (en)
-
'example of usage' "the function of this heart: to pump blood" (en)
-
'example of usage' "the mutual dependence of proton donors and acceptors in chemical reactions [79" (en)
-
'example of usage' "the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction" (en)
-
'example of usage' "the pink color of a medium rare piece of grilled filet mignon at its center" (en)
-
'example of usage' "the role of being a doctor" (en)
-
'example of usage' "the shape of this hole." (en)
-
'example of usage' "the smell of this portion of mozzarella" (en)
-
definition "b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n > 1 independent continuants c1, … cn which are not spatial regions are such that for all 1 i < 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)
-
definition "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)
-
'editor note' "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)
-
'has associated axiom(fol)' "(iff (RelationalSpecificallyDependentContinuant a) (and (SpecificallyDependentContinuant a) (forall (t) (exists (b c) (and (not (SpatialRegion b)) (not (SpatialRegion c)) (not (= b c)) (not (exists (d) (and (continuantPartOfAt d b t) (continuantPartOfAt d c t)))) (specificallyDependsOnAt a b t) (specificallyDependsOnAt a c t)))))) // axiom label in BFO2 CLIF: [131-004] " ()
-
'has associated axiom(fol)' "(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] " ()
-
isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
-
label "specifically dependent continuant" (en)
Superclasses (4)
Disjoints (2)
Usage (15)