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