Preferred Name |
特定依赖性常体 |
Definitions |
b是一个特定依赖性常体 = Def. b是一个常体& 存在一些独立常体c,c不是一个空间区域且是这样的,在b的存在过程地每个时间t,b s-依赖_于c。 (BFO2公理标签参考:[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]) 一个在其他实体中存在或由其他实体承担的常体。 A的每个实例都需要一些特定的B实例,这些B实例必须始终相同。 |
ID |
http://purl.obolibrary.org/obo/BFO_0000020 |
BFO CLIF规范标签 |
特定依赖性常体(SpecificallyDependentContinuant) |
BFO OWL规范标签 |
sdc |
isDefinedBy | |
prefixIRI |
BFO:0000020 |
prefLabel |
特定依赖性常体 |
具有相关联的公理(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 (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 |
文本定义 |
b是一个特定依赖性常体 = Def. b是一个常体& 存在一些独立常体c,c不是一个空间区域且是这样的,在b的存在过程地每个时间t,b s-依赖_于c。 (BFO2公理标签参考:[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]) 一个在其他实体中存在或由其他实体承担的常体。 A的每个实例都需要一些特定的B实例,这些B实例必须始终相同。 |
标签 |
特定依赖性常体 |
用法示例 |
捕食者角色和猎物角色的相互依赖由两个生物体在给定的相互作用中扮演 局部特定依赖性常体:这个番茄的性质 这部分马苏里拉奶酪的气味 质子供体和受体在化学反应中的相互依赖[79 交互特定依赖性常体:这个键的功能打开这个锁和这个锁的相互依赖的配置:被这个键打开 关系独立常体(对个载体):约翰对玛丽的爱,约翰与这座雕像之间的所有关系,以及约翰与他的下属之间的权力关系。 这条鱼的腐烂倾向 作为医生的角色 这个洞的形状。 这颗心的功能:抽血 在它中心的一块四分熟烤菲力牛排的粉色 |
编者注 |
具体而言,相关常体不具有闭合公理,因为子类不一定丧失所有可能性。我们不确定在这里会发生什么,但是会有如什么是承诺,义务等等的问题。 |
编辑首选术语 |
特定依赖性常体 |
subClassOf |