_:b665176863 . _:b665176863 . _:b665176863 . _:b665176863 . _:b665176863 "(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001] " . _:b665176863 . _:b665176863 .