_:b665458938 . _:b665458938 . _:b665458938 . _:b665458938 . _:b665458938 . _:b665458938 "(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] " . _:b665458938 .