loading...| Preferred Name |
specifically dependent continuant |
| Definitions |
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. |
| ID |
http://purl.obolibrary.org/obo/BFO_0000020 |
| BFO CLIF specification label |
SpecificallyDependentContinuant 特定依赖性常体(SpecificallyDependentContinuant) SpecificallyDependentContinuant |
| BFO OWL规范标签 |
sdc sdc |
| editor preferred label |
特定依赖性常体 specifically dependent continuant |
| example of usage |
这颗心的功能：抽血 the role of being a doctor of one-sided specifically dependent continuants: the mass of this tomato 在它中心的一块四分熟烤菲力牛排的粉色 关系独立常体（对个载体）：约翰对玛丽的爱，约翰与这座雕像之间的所有关系，以及约翰与他的下属之间的权力关系。 作为医生的角色 这个洞的形状。 这条鱼的腐烂倾向 质子供体和受体在化学反应中的相互依赖[79 局部特定依赖性常体：这个番茄的性质 这部分马苏里拉奶酪的气味 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 disposition of this fish to decay the pink color of a medium rare piece of grilled filet mignon at its center 交互特定依赖性常体：这个键的功能打开这个锁和这个锁的相互依赖的配置：被这个键打开 the mutual dependence of proton donors and acceptors in chemical reactions [79 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 the smell of this portion of mozzarella the function of this heart: to pump blood 捕食者角色和猎物角色的相互依赖由两个生物体在给定的相互作用中扮演 the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction |
| isDefinedBy | |
| label |
特定依赖性常体 specifically dependent continuant |
| prefixIRI |
BFO:0000020 |
| prefLabel |
specifically dependent continuant |
| textual definition |
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的每个实例都需要一些特定的B实例，这些B实例必须始终相同。 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是一个关系特定依赖性常体 = Def. b是特定依赖性常体并且有n >1个独立常体c1，... cn不是空间区域且是这样的，即对于全部1个 i<j n，ci和cj没有共同的部分，对于每个1 i n，在b存在的过程中每个时间t，b s-依赖_于 ci（BFO2中的公理标号：[131-004]） 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]) b是一个特定依赖性常体 = Def. b是一个常体& 存在一些独立常体c，c不是一个空间区域且是这样的，在b的存在过程地每个时间t，b s-依赖_于c。 （BFO2公理标签参考：[050-003]） |
| 具有相关联的公理（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] (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] (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] (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] |
| 引自 |
http://purl.obolibrary.org/obo/clo.owl http://purl.obolibrary.org/obo/ogg.owl |
| 编者注 |
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. 具体而言，相关常体不具有闭合公理，因为子类不一定丧失所有可能性。我们不确定在这里会发生什么，但是会有如什么是承诺，义务等等的问题。 |
| subClassOf |