_:b254665098	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Axiom> .
_:b254665098	<http://www.w3.org/2002/07/owl#annotatedProperty>	<http://purl.obolibrary.org/obo/IAO_0000602> .
_:b254665098	<http://www.w3.org/2002/07/owl#annotatedTarget>	"(forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001] " .
_:b254665098	<http://purl.obolibrary.org/obo/IAO_0010000>	<http://purl.obolibrary.org/obo/bfo/axiom/040-001> .
_:b254665098	<http://www.w3.org/2002/07/owl#annotatedSource>	<http://purl.obolibrary.org/obo/BFO_0000028> .