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