_:b663970026	<http://www.w3.org/2002/07/owl#annotatedTarget>	"(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] " .
_:b663970026	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Axiom> .
_:b663970026	<http://www.w3.org/2002/07/owl#annotatedSource>	<http://purl.obolibrary.org/obo/BFO_0000004> .
_:b663970026	<http://www.w3.org/2007/05/powder-s#describedby>	<http://localhost:8890/about/id/entity/http/purl.obolibrary.org/obo/bfo.owl> .
_:b663970026	<http://www.w3.org/2002/07/owl#annotatedProperty>	<http://purl.obolibrary.org/obo/IAO_0000602> .
_:b663970026	<http://www.w3.org/2007/05/powder-s#describedby>	<https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/bfo.owl> .
_:b663970026	<http://purl.obolibrary.org/obo/IAO_0010000>	<http://purl.obolibrary.org/obo/bfo/axiom/018-002> .