loading...| Preferred Name | specifically dependent continuant | |
| Synonyms |
|
|
| Definitions |
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 bs 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 = 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 bs existence. (axiom label in BFO2 Reference: [050-003]) |
|
| 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 |
|
| prefixIRI |
ns4:BFO_0000020 |
|
| prefLabel |
specifically dependent continuant |
|
| subClassOf |