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