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