_:b254665026 . _:b254665026 "(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " . _:b254665026 . _:b254665026 . _:b254665026 .