Jump to:
loading...| Preferred Name |
relational quality |
|
| Synonyms |
|
|
| Definitions |
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 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]) |
|
| 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 |
ns4:BFO_0000145 |
|
| prefLabel |
relational quality |
|
| subClassOf |
Create mapping