_:b254665024	<http://www.w3.org/2002/07/owl#annotatedSource>	<http://purl.obolibrary.org/obo/BFO_0000002> .
_:b254665024	<http://www.w3.org/2002/07/owl#annotatedTarget>	"(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] " .
_:b254665024	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Axiom> .
_:b254665024	<http://www.w3.org/2002/07/owl#annotatedProperty>	<http://purl.obolibrary.org/obo/IAO_0000602> .
_:b254665024	<http://purl.obolibrary.org/obo/IAO_0010000>	<http://purl.obolibrary.org/obo/bfo/axiom/126-001> .