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