_:b254665044 . _:b254665044 "(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] " . _:b254665044 . _:b254665044 . _:b254665044 .