_:b663520058 . _:b663520058 . _:b663520058 . _:b663520058 . _:b663520058 . _:b663520058 "(iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001] " . _:b663520058 .