loading...| Preferred Name |
相关性质 |
| Definitions |
b是相关性质 定义为： 对于独立常体c, d及某时间t, 在t时间b是c的性质(quality_of) & 在t时间b是d的性质(quality_of). (axiom label in BFO2 Reference: [057-001]) b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001]) |
| ID |
http://purl.obolibrary.org/obo/BFO_0000145 |
| BFO CLIF specification label |
RelationalQuality |
| BFO OWL specification label |
r-quality |
| definition |
b是相关性质 定义为： 对于独立常体c, d及某时间t, 在t时间b是c的性质(quality_of) & 在t时间b是d的性质(quality_of). (axiom label in BFO2 Reference: [057-001]) b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001]) |
| example of usage |
婚约，爱情的实例，一个人与另一个人的一种义务。 John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married. a marriage bond, an instance of love, an obligation between one person and another. John是Mary丈夫的角色依赖于Mary是John妻子的角色，且均依赖于两人结婚组成John和Mary成员对象实体。 |
| has associated axiom(fol) |
(iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001] |
| isDefinedBy | |
| label |
relational quality 相关性质 |
| prefixIRI |
BFO:0000145 |
| prefLabel |
相关性质 |
| subClassOf |