_:b254665074	<http://www.w3.org/2002/07/owl#annotatedTarget>	"(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] " .
_:b254665074	<http://www.w3.org/2002/07/owl#annotatedSource>	<http://purl.obolibrary.org/obo/BFO_0000017> .
_:b254665074	<http://www.w3.org/2002/07/owl#annotatedProperty>	<http://purl.obolibrary.org/obo/IAO_0000602> .
_:b254665074	<http://purl.obolibrary.org/obo/IAO_0010000>	<http://purl.obolibrary.org/obo/bfo/axiom/058-002> .
_:b254665074	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Axiom> .