loading...| Preferred Name |
独立常体 |
| Definitions |
常体是质量和可实现实体的载体，其中其他实体在其中并且本身不能在任何地方存在。 b是一个独立常体= Def. b是一个常体，使得在t时刻不存在c，也不存在t，从而在t时刻b s-依赖_于c。 （BFO2公理标签参考：[017-002]） |
| ID |
http://purl.obolibrary.org/obo/BFO_0000004 |
| BFO CLIF规范标签 |
独立常体(IndependentContinuant) |
| BFO OWL规范标签 |
ic |
| isDefinedBy | |
| prefixIRI |
BFO:0000004 |
| prefLabel |
独立常体 |
| 具有相关联的公理（fol） |
(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] |
| 具有相关联的公理（nl） |
对于任何独立常体b和任何时刻t，都有一些空间区域r，使得b在t时刻位_于r处。 （BFO2公理标签参考：[134-001]） 对于在其生命周期中的每个时间区域内每个独立的常体b和时间t，在t期间存在s-依赖_于b的实体。 （BFO2公理标签参考：[018-002]） |
| 引自 |
http://purl.obolibrary.org/obo/clo.owl |
| 文本定义 |
常体是质量和可实现实体的载体，其中其他实体在其中并且本身不能在任何地方存在。 b是一个独立常体= Def. b是一个常体，使得在t时刻不存在c，也不存在t，从而在t时刻b s-依赖_于c。 （BFO2公理标签参考：[017-002]） |
| 标签 |
独立常体 |
| 用法示例 |
一把椅子 一条腿 人体躯干的右下部分 一个分子 一个有机体 你的嘴巴内部 一个管弦乐队。 一个心脏 一个原子 一个空间区域 |
| 编辑首选术语 |
独立常体(Independent Continuant) |
| subClassOf |