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