loading...| Preferred Name |
常体 |
| Definitions |
一个在任何时候都存在的实体，它持续存在，在维持其特性的同时且没有暂时的部分。 |
| ID |
http://purl.obolibrary.org/obo/BFO_0000002 |
| BFO CLIF规范标签 |
常体 |
| BFO OWL规范标签 |
常体 |
| isDefinedBy | |
| prefixIRI |
BFO:0000002 |
| prefLabel |
常体 |
| 具有相关联的公理（fol） |
(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] (forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] (forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] |
| 具有相关联的公理（nl） |
如果b是一个常体，并且如果对于某个t，c在t时刻具有_常体_部分b，则c是一个常体。 （BFO2公理标签参考：[126-001]） 如果b是一个常体，并且如果，对于某个t，c是在t时刻的b的常体_部分，则c是一个常体。 （BFO2公理标签参考：[009-002]） 如果b是物质实体，则在b存在期间有一些时间间隔（以下称为一维时间区域）。 （BFO2公理标签：[011-002]） |
| 引自 |
http://purl.obolibrary.org/obo/clo.owl |
| 文本定义 |
一个在任何时候都存在的实体，它持续存在，在维持其特性的同时且没有暂时的部分。 |
| 标签 |
常体 |
| 编者注 |
常体不具有闭合公理，因为子类不一定丧失所有可能性。例如，在涉及引入一些Ceuster的实体的其他部分的扩展中，提出了普遍性是否是连续性的问题 BFO 2参考：持续实体是可以被分割的实体，只能沿着空间维度分割成部分，例如产生您的桌子的部分，我们称之为它的腿、顶部、指甲。 “我的桌子从窗户延伸到门口。它有空间部分，可以在空间切成两半。不过，就时间而言，一个事物是连续的。“[60，p。 240 |
| 编辑首选术语 |
常体 |
| 说明 |
一个常体是一个持续、持久或持续存在且同时保持其身份的实体。 （BFO2中的公理标签参考：[008-002]） |
| subClassOf |