Preferred Name |
物质实体 |
Synonyms |
物质存在体 质料体 |
Definitions |
An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time. |
ID |
http://purl.obolibrary.org/obo/BFO_0000040 |
alternative term |
物质存在体 质料体 |
BFO CLIF specification label |
MaterialEntity |
BFO OWL specification label |
material |
definition |
An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time. 在空间上延展的一种自在常体,其同一性不依赖于其他实体且能随时间而保持不变。 |
editor note |
BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here. BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60 BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity. |
elucidation |
物质实体是一种自在常体,它具有的某部分物质作为其真或非真常体部分。(axiom label in BFO2 Reference: [019-002]) A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002]) |
example of usage |
a tornado an energy wave a puff of smoke a hurricane 人的未分离的手臂 森林火灾 the undetached arm of a human being 光子 火焰 a flame 流行病 a photon 能量波 an aggregate of human beings. 龙卷风 a sea wave 一股烟 人类 飓风 海的波浪 an epidemic a human being 人类的群体 a forest fire |
has associated axiom(fol) |
(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002] (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002] (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] |
has associated axiom(nl) |
Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002]) every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002]) |
isDefinedBy | |
label |
物质实体 material entity |
prefixIRI |
BFO:0000040 |
prefLabel |
物质实体 |
subClassOf | |
disjointWith |