_:b254665061 . _:b254665061 . _:b254665061 "(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] " . _:b254665061 . _:b254665061 .