_:b663520727 . _:b663520727 . _:b663520727 . _:b663520727 . _:b663520727 . _:b663520727 . _:b663520727 "(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] " .