inheres in at all times part of continuant at some time part of continuant at all times that whole exists continuant 常体 independent continuant 独立常体 spatial region specifically dependent continuant 特定依赖性常体 (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] sdc (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] 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. 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. SpecificallyDependentContinuant 特定依赖性常体(SpecificallyDependentContinuant) 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 SpecificallyDependentContinuant 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 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]) of one-sided specifically dependent continuants: the mass of this tomato 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. sdc specifically dependent continuant the disposition of this fish to decay the function of this heart: to pump blood the mutual dependence of proton donors and acceptors in chemical reactions [79 the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction the pink color of a medium rare piece of grilled filet mignon at its center the role of being a doctor the shape of this hole. the smell of this portion of mozzarella 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是一个特定依赖性常体 = Def. b是一个常体& 存在一些独立常体c，c不是一个空间区域且是这样的，在b的存在过程地每个时间t，b s-依赖_于c。 （BFO2公理标签参考：[050-003]） 一个在其他实体中存在或由其他实体承担的常体。 A的每个实例都需要一些特定的B实例，这些B实例必须始终相同。 交互特定依赖性常体：这个键的功能打开这个锁和这个锁的相互依赖的配置：被这个键打开 作为医生的角色 关系独立常体（对个载体）：约翰对玛丽的爱，约翰与这座雕像之间的所有关系，以及约翰与他的下属之间的权力关系。 具体而言，相关常体不具有闭合公理，因为子类不一定丧失所有可能性。我们不确定在这里会发生什么，但是会有如什么是承诺，义务等等的问题。 在它中心的一块四分熟烤菲力牛排的粉色 局部特定依赖性常体：这个番茄的性质 捕食者角色和猎物角色的相互依赖由两个生物体在给定的相互作用中扮演 特定依赖性常体 质子供体和受体在化学反应中的相互依赖[79 这个洞的形状。 这条鱼的腐烂倾向 这部分马苏里拉奶酪的气味 这颗心的功能：抽血 generically dependent continuant 普遍依赖性常体