_:b254665039 . _:b254665039 "(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] " . _:b254665039 . _:b254665039 . _:b254665039 .