_:b663970037 "(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] " . _:b663970037 . _:b663970037 . _:b663970037 . _:b663970037 . _:b663970037 . _:b663970037 .