_:b663914003 . _:b663914003 . _:b663914003 . _:b663914003 "(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001] " . _:b663914003 . _:b663914003 . _:b663914003 .