_:b663520056 . _:b663520056 . _:b663520056 . _:b663520056 "(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] " . _:b663520056 . _:b663520056 . _:b663520056 .