Preferred Name |
specifically dependent continuant |
|
Synonyms |
|
|
Definitions |
b is a specifically dependent continuant if b is a continuant and there is some independent continuant c which is not a spatial region and which is such that b specifically depends on c at every time t during the course of b’s existence. [BFO] 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]) |
|
ID |
http://purl.obolibrary.org/obo/BFO_0000020 |
|
BFO CLIF specification label |
SpecificallyDependentContinuant |
|
BFO OWL specification label |
sdc |
|
definition |
b is a specifically dependent continuant if b is a continuant and there is some independent continuant c which is not a spatial region and which is such that b specifically depends on c at every time t during the course of b’s existence. [BFO] |
|
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. |
|
example of usage |
the smell of this portion of mozzarella the mutual dependence of proton donors and acceptors in chemical reactions [79 the pink color of a medium rare piece of grilled filet mignon at its center the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction 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. the shape of this hole. the role of being a doctor the function of this heart: to pump blood of one-sided specifically dependent continuants: the mass of this tomato the disposition of this fish to decay 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 |
|
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 | ||
label |
specifically dependent continuant |
|
preferred label |
specifically dependent continuant |
|
prefixIRI |
BFO:0000020 |
|
subClassOf |