Preferred Name |
quality |
ID |
http://purl.obolibrary.org/obo/BFO_0000019 |
BFO CLIF specification label |
Quality Quality 性质 |
BFO OWL规范标签 |
quality quality 性质 |
editor preferred label |
性质 quality |
example of usage |
the length of the circumference of your waist 你的鼻孔的形状 这块黄金的质量。 the mass of this piece of gold. 你的鼻子的形状 你的腰围的长度 the color of a tomato the ambient temperature of this portion of air the shape of your nose 这部分空气的环境温度 番茄的颜色 the shape of your nostril |
has associated axiom(nl) |
如果一个实体在任何时候都存在一个性质,那么在它存在的每个时间它就是一个性质。 (BFO2公理标签参考:[105-001]) If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001]) |
id |
BFO:0000019 |
isDefinedBy | |
label |
性质 quality |
notation |
BFO:0000019 |
prefLabel |
quality |
具有相关联的公理(fol) |
(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] (forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] (forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] (forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] |
引自 |
http://purl.obolibrary.org/obo/pr.owl http://purl.obolibrary.org/obo/clo.owl |
有_obo_命名空间 |
bfo |
说明 |
质量是一个特定依赖性常体,与角色和性格相反,不需要任何进一步的过程才能实现。 (BFO2公理标签参考:[055-001]) a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001]) |
subClassOf |