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