Preferred Name |
specifically dependent continuant |
|
Synonyms |
|
|
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. b是一个特定依赖性常体 = Def. b是一个常体& 存在一些独立常体c,c不是一个空间区域且是这样的,在b的存在过程地每个时间t,b s-依赖_于c。 (BFO2公理标签参考:[050-003]) 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 specification label |
sdc sdc |
|
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. |
|
imported from |
http://purl.obolibrary.org/obo/bfo.owl http://purl.obolibrary.org/obo/ido.owl http://purl.obolibrary.org/obo/vo.owl http://purl.obolibrary.org/obo/ogg.owl http://purl.obolibrary.org/obo/ino.owl http://purl.obolibrary.org/obo/oae.owl http://purl.obolibrary.org/obo/ro.owl http://purl.obolibrary.org/obo/obi.owl |
|
isDefinedBy | ||
label |
specifically dependent continuant 特定依赖性常体 |
|
prefixIRI |
BFO:0000020 |
|
prefLabel |
specifically dependent continuant |
|
具有相关联的公理(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] (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] |
|
文本定义 |
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. 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]) 一个在其他实体中存在或由其他实体承担的常体。 A的每个实例都需要一些特定的B实例,这些B实例必须始终相同。 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 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]) 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. b是一个特定依赖性常体 = Def. b是一个常体& 存在一些独立常体c,c不是一个空间区域且是这样的,在b的存在过程地每个时间t,b s-依赖_于c。 (BFO2公理标签参考:[050-003]) |
|
用法示例 |
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 质子供体和受体在化学反应中的相互依赖[79 the smell of this portion of mozzarella 关系独立常体(对个载体):约翰对玛丽的爱,约翰与这座雕像之间的所有关系,以及约翰与他的下属之间的权力关系。 这颗心的功能:抽血 局部特定依赖性常体:这个番茄的性质 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 |
|
编辑首选术语~编辑首选标签 |
specifically dependent continuant 特定依赖性常体 |
|
disjointWith | ||
subClassOf |