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]) [ http://purl.obolibrary.org/obo/bfo/axiom/057-001 ]

This is just here as a test because I lose it

Term information

BFO CLIF specification label


example of usage

a marriage bond, an instance of requited love, an obligation between one person and another.

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.

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]



Term relations

Subclass of: