Jump to:
loading...| Preferred Name |
性质 |
| ID |
http://purl.obolibrary.org/obo/BFO_0000019 |
| BFO CLIF规范标签 |
性质 |
| BFO OWL规范标签 |
性质 |
| isDefinedBy | |
| prefixIRI |
BFO:0000019 |
| prefLabel |
性质 |
| 具有相关联的公理（fol） |
(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] |
| 具有相关联的公理（nl） |
如果一个实体在任何时候都存在一个性质，那么在它存在的每个时间它就是一个性质。 （BFO2公理标签参考：[105-001]） |
| 引自 | |
| 标签 |
性质 |
| 用法示例 |
番茄的颜色 这部分空气的环境温度 你的腰围的长度 你的鼻子的形状 你的鼻孔的形状 这块黄金的质量。 |
| 编辑首选术语 |
性质 |
| 说明 |
质量是一个特定依赖性常体，与角色和性格相反，不需要任何进一步的过程才能实现。 （BFO2公理标签参考：[055-001]） |
| subClassOf |
Create New Mapping