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