Preferred Name |
generically dependent continuant |
Definitions |
依赖于一个或另一个独立常体承载者的常体。对于A的每个实例都需要某个(一个独立常体类型)B的实例,但是B实例服务的对象可能会随时变化。 b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001]) |
ID |
http://purl.obolibrary.org/obo/BFO_0000031 |
BFO CLIF specification label |
GenericallyDependentContinuant GenericallyDependentContinuant 普遍依赖性常体(GenericallyDependentContinuant) |
BFO OWL规范标签 |
gdc gdc |
concretized by at some time | |
editor preferred label |
普遍依赖性常体 generically dependent continuant |
example of usage |
The entries in your database are patterns instantiated as quality instances in your hard drive. The database itself is an aggregate of such patterns. When you create the database you create a particular instance of the generically dependent continuant type database. Each entry in the database is an instance of the generically dependent continuant type IAO: information content entity. 在您的笔记本电脑上的PDF文件,这个PDF文件是我的笔记本电脑上的副本 数据库中的条目是在硬盘驱动器中实例化为性质实例的模式。数据库本身就是这些模式的集合。在创建数据库时,您将创建普遍依赖性常体类型数据库的特定实例。数据库中的每个条目都是普遍依赖性常体类型IAO的一个实例:信息内容实体。 the pdf file on your laptop, the pdf file that is a copy thereof on my laptop the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule. 这个蛋白质分子的序列;在该蛋白质分子中是其序列的拷贝。 |
isDefinedBy | |
label |
普遍依赖性常体 generically dependent continuant |
prefixIRI |
BFO:0000031 |
prefLabel |
generically dependent continuant |
textual definition |
依赖于一个或另一个独立常体承载者的常体。对于A的每个实例都需要某个(一个独立常体类型)B的实例,但是B实例服务的对象可能会随时变化。 b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001]) A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time. b是一个普遍依赖性常体 = Def. b是g-依赖_于一个或多个其他实体的常体。 (BFO2公理标签参考:[074-001]) |
具有相关联的公理(fol) |
(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] (iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] |
引自 |
http://purl.obolibrary.org/obo/clo.owl |
subClassOf |