_:b254665060 . _:b254665060 . _:b254665060 "(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002] " . _:b254665060 . _:b254665060 .