Preferred Name |
普遍他在常体 |
Synonyms |
普遍依存常体 |
Definitions |
依赖于某他在常体的载体的一种常体。对于A的任一实例,都需要(一种独立常体类型)B的实例,而该B类型的实例是可以随时间变化的。 b是一种普遍他在常体 定义为: b是一种常体,且它 普遍依赖于(g-depends_on) 一个或多个其他实体。 (axiom label in BFO2 Reference: [074-001]) 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 |
alternative term |
普遍依存常体 |
BFO CLIF specification label |
GenericallyDependentContinuant |
BFO OWL specification label |
gdc |
definition |
依赖于某他在常体的载体的一种常体。对于A的任一实例,都需要(一种独立常体类型)B的实例,而该B类型的实例是可以随时间变化的。 b是一种普遍他在常体 定义为: b是一种常体,且它 普遍依赖于(g-depends_on) 一个或多个其他实体。 (axiom label in BFO2 Reference: [074-001]) 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. |
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文件是我的笔记本电脑的文件的拷贝。 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. 数据库中的条目是在硬盘驱动器中实例化为性质实例的模式。数据库本身是这种模式的集合。当创建数据库时, 您创建了一个特定他在常体类型的数据库的实例。数据库中的每个条目都是普遍他在常体类型 IAO: 信息内容实体 的实例。 |
has associated axiom(fol) |
(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] |
isDefinedBy | |
label |
普遍他在常体 generically dependent continuant |
prefixIRI |
BFO:0000031 |
prefLabel |
普遍他在常体 |
subClassOf |