_:b663277722 . _:b663277722 . _:b663277722 . _:b663277722 . _:b663277722 "(forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001] " . _:b663277722 . _:b663277722 .