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