_:b254665062 . _:b254665062 . _:b254665062 . _:b254665062 "(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] " . _:b254665062 .