occupies spatial region at some time part of continuant at some time part of continuant at all times that whole exists continuant 常体 independent continuant 独立常体 IndependentContinuant (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] 独立常体(IndependentContinuant) (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001]) For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002]) IndependentContinuant a heart a leg a molecule a spatial region an atom an orchestra. an organism b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002]) ic a chair ic independent continuant the bottom right portion of a human torso the interior of your mouth b是一个独立常体= Def. b是一个常体，使得在t时刻不存在c，也不存在t，从而在t时刻b s-依赖_于c。 （BFO2公理标签参考：[017-002]） 一个分子 一个原子 一个心脏 一个有机体 一个空间区域 一个管弦乐队。 一把椅子 一条腿 人体躯干的右下部分 你的嘴巴内部 对于任何独立常体b和任何时刻t，都有一些空间区域r，使得b在t时刻位_于r处。 （BFO2公理标签参考：[134-001]） 对于在其生命周期中的每个时间区域内每个独立的常体b和时间t，在t期间存在s-依赖_于b的实体。 （BFO2公理标签参考：[018-002]） 常体是质量和可实现实体的载体，其中其他实体在其中并且本身不能在任何地方存在。 独立常体(Independent Continuant) spatial region specifically dependent continuant 特定依赖性常体 generically dependent continuant 普遍依赖性常体