Preferred Name

特定依赖性常体

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.

ID

http://purl.obolibrary.org/obo/BFO_0000020

BFO CLIF specification label

SpecificallyDependentContinuant

特定依赖性常体(SpecificallyDependentContinuant)

SpecificallyDependentContinuant

BFO OWL规范标签

sdc

sdc

editor preferred label

特定依赖性常体

specifically dependent continuant

example of usage

这颗心的功能:抽血

the role of being a doctor

of one-sided specifically dependent continuants: the mass of this tomato

在它中心的一块四分熟烤菲力牛排的粉色

关系独立常体(对个载体):约翰对玛丽的爱,约翰与这座雕像之间的所有关系,以及约翰与他的下属之间的权力关系。

作为医生的角色

这个洞的形状。

这条鱼的腐烂倾向

质子供体和受体在化学反应中的相互依赖[79

局部特定依赖性常体:这个番茄的性质

这部分马苏里拉奶酪的气味

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 disposition of this fish to decay

the pink color of a medium rare piece of grilled filet mignon at its center

交互特定依赖性常体:这个键的功能打开这个锁和这个锁的相互依赖的配置:被这个键打开

the mutual dependence of proton donors and acceptors in chemical reactions [79

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

the smell of this portion of mozzarella

the function of this heart: to pump blood

捕食者角色和猎物角色的相互依赖由两个生物体在给定的相互作用中扮演

the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction

isDefinedBy

http://purl.obolibrary.org/obo/bfo.owl

label

特定依赖性常体

specifically dependent continuant

prefixIRI

BFO:0000020

prefLabel

特定依赖性常体

textual definition

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.

一个在其他实体中存在或由其他实体承担的常体。 A的每个实例都需要一些特定的B实例,这些B实例必须始终相同。

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])

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 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])

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.

具有相关联的公理(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 (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]

(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/bfo.owl

http://purl.obolibrary.org/obo/vo.owl

http://purl.obolibrary.org/obo/ro.owl

http://purl.obolibrary.org/obo/ino.owl

http://purl.obolibrary.org/obo/clo.owl

http://purl.obolibrary.org/obo/ogg.owl

http://purl.obolibrary.org/obo/cl.owl

http://purl.obolibrary.org/obo/ido.owl

http://purl.obolibrary.org/obo/obi.owl

http://purl.obolibrary.org/obo/oae.owl

编者注

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.

具体而言,相关常体不具有闭合公理,因为子类不一定丧失所有可能性。我们不确定在这里会发生什么,但是会有如什么是承诺,义务等等的问题。

subClassOf

http://purl.obolibrary.org/obo/BFO_0000002

disjointWith

http://purl.obolibrary.org/obo/BFO_0000031

Delete Subject Author Type Created
No notes to display
Create New Mapping

Delete Mapping To Ontology Source
http://purl.obolibrary.org/obo/BFO_0000020 OGG SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ODNAE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 FLU SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OBIWS SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 FOODON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 WB-PHENOTYPE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GDCO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 LIFO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 MHMO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 FASTO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 TXPO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 WB-PHENOTYPE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 NBO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VIVO-ISF SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CVDO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OBI_BCGO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GENEPIO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CHMO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GENO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 MF SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GENO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OAE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ONTONEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 PCO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CL SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 DUO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OHD SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VDOT SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 MFOEM SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CHEAR SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 AERO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CRO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 IAO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OHMI SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 TXPO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 IDOBRU SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 HSO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CHMO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OBIB SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 IAO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 FOODON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CRO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GENEPIO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 AFO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ECO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CARO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 MONDO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OGG-MM SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CLO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VDOT SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GO-PLUS SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 EO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 NLN SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 APOLLO-SV SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OHMI SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 MFMO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 FOODON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OMRSE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OGSF SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 PORO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OMRSE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OCMR SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OBI SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 TXPO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 DDO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 NCRO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 TXPO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 TXPO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 FOODON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 INO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ONTODM-CORE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 MF SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 TXPO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 NDDO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 AGRO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ORTH SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ENVO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VDOT SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICDO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OBI SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 COGPO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 WB-PHENOTYPE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ECO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 TXPO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ODAE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 TXPO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 BCO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 MFOMD SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OPL SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VIVO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICDO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 TXPO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OBIB SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OOSTT SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GO-PLUS SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VDOT SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 AFO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 NBO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GO-PLUS SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OBOREL SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 WB-PHENOTYPE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 FOODON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VSO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 KORO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 DUO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ROLEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 FOODON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OLAM SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VICO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 DRON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GO-PLUS SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GENEPIO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OBI SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 NDDO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 FOODON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 WB-PHENOTYPE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 EUPATH SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ECO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 PECO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GO-PLUS SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ONS SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UPHENO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 NIFDYS SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 NMR SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VDOT SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 AFO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 APOLLO-SV SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 WB-PHENOTYPE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ERO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ZP SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 BFO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 DIDEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ONTOPBM SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VDOT SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 HINO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CHEAR SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OCVDAE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CL SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 EGO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OBCS SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 NIFSTD SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 PPO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CL SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CHEMINF SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 TEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 GENO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 FOODON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 DUO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 VIO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ONSTR SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CL SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 WB-PHENOTYPE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 AFO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 TYPON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 DMTO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 UBERON SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 PDRO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OGMS SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 ICEO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OVAE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 CHMO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OGMS SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OAE SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 APOLLO-SV SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 STATO SAME_URI
http://purl.obolibrary.org/obo/BFO_0000020 OGI SAME_URI