loading...| Preferred Name |
continuant |
| Definitions |
一个在任何时候都存在的实体，它持续存在，在维持其特性的同时且没有暂时的部分。 An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts. |
| ID |
http://purl.obolibrary.org/obo/BFO_0000002 |
| BFO CLIF specification label |
Continuant 常体 Continuant |
| BFO OWL规范标签 |
continuant continuant 常体 |
| editor preferred label |
continuant 常体 |
| has associated axiom(nl) |
if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002]) 如果b是一个常体，并且如果，对于某个t，c是在t时刻的b的常体_部分，则c是一个常体。 （BFO2公理标签参考：[009-002]） if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002]) 如果b是一个常体，并且如果对于某个t，c在t时刻具有_常体_部分b，则c是一个常体。 （BFO2公理标签参考：[126-001]） if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001]) 如果b是物质实体，则在b存在期间有一些时间间隔（以下称为一维时间区域）。 （BFO2公理标签：[011-002]） |
| isDefinedBy | |
| label |
continuant 常体 |
| prefixIRI |
BFO:0000002 |
| prefLabel |
continuant |
| textual definition |
一个在任何时候都存在的实体，它持续存在，在维持其特性的同时且没有暂时的部分。 An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts. |
| 具有相关联的公理（fol） |
(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] (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) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-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 y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] |
| 引自 |
http://purl.obolibrary.org/obo/clo.owl http://purl.obolibrary.org/obo/ogg.owl |
| 编者注 |
BFO 2参考：持续实体是可以被分割的实体，只能沿着空间维度分割成部分，例如产生您的桌子的部分，我们称之为它的腿、顶部、指甲。 “我的桌子从窗户延伸到门口。它有空间部分，可以在空间切成两半。不过，就时间而言，一个事物是连续的。“[60，p。 240 Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240 常体不具有闭合公理，因为子类不一定丧失所有可能性。例如，在涉及引入一些Ceuster的实体的其他部分的扩展中，提出了普遍性是否是连续性的问题 |
| 说明 |
一个常体是一个持续、持久或持续存在且同时保持其身份的实体。 （BFO2中的公理标签参考：[008-002]） A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002]) |
| subClassOf |