_:b254665034 . _:b254665034 . _:b254665034 . _:b254665034 "(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] " . _:b254665034 .