_:b254665052 . _:b254665052 . _:b254665052 "(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] " . _:b254665052 . _:b254665052 .