Preferred Name |
普遍依赖性常体 |
Definitions |
b是一个普遍依赖性常体 = Def. b是g-依赖_于一个或多个其他实体的常体。 (BFO2公理标签参考:[074-001]) 依赖于一个或另一个独立常体承载者的常体。对于A的每个实例都需要某个(一个独立常体类型)B的实例,但是B实例服务的对象可能会随时变化。 |
ID |
http://purl.obolibrary.org/obo/BFO_0000031 |
BFO CLIF规范标签 |
普遍依赖性常体(GenericallyDependentContinuant) |
BFO OWL规范标签 |
gdc |
isDefinedBy | |
prefixIRI |
BFO:0000031 |
prefLabel |
普遍依赖性常体 |
具有相关联的公理(fol) |
(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] |
引自 | |
文本定义 |
b是一个普遍依赖性常体 = Def. b是g-依赖_于一个或多个其他实体的常体。 (BFO2公理标签参考:[074-001]) 依赖于一个或另一个独立常体承载者的常体。对于A的每个实例都需要某个(一个独立常体类型)B的实例,但是B实例服务的对象可能会随时变化。 |
标签 |
普遍依赖性常体 |
用法示例 |
这个蛋白质分子的序列;在该蛋白质分子中是其序列的拷贝。 在您的笔记本电脑上的PDF文件,这个PDF文件是我的笔记本电脑上的副本 数据库中的条目是在硬盘驱动器中实例化为性质实例的模式。数据库本身就是这些模式的集合。在创建数据库时,您将创建普遍依赖性常体类型数据库的特定实例。数据库中的每个条目都是普遍依赖性常体类型IAO的一个实例:信息内容实体。 |
编辑首选术语 |
普遍依赖性常体 |
subClassOf |