downstream in neural circuit with
A relation that holds between a neuron that is synapsed_to another neuron or a neuron that is connected indirectly to another by a chain of neurons, each synapsed_to the next.
Property info
http://www.ncbi.nlm.nih.gov/pubmed/22402613
(forall (?x ?y) (iff (downstream_neural_circuit_path ?x ?y) (and ("neuron ; CL_0000540" ?x) ("neuron ; CL_0000540" ?y) (synapsed_by ?x ?y)))) (forall (...s ?x ?y ?z) (iff (downstream_neural_circuit_path ...s ?x ?y ?z ) (and (downstream_neural_circuit_path ...s ?x ?y) ("neuron ; CL_0000540" ?z) (synapsed_by ?y ?z)))) (forall (?x ?y) (iff (downstream_in_neural_circuit_with ?x ?y) (exists (...s) (downstream_neural_circuit_path ?x ...s ?y))))
http://purl.obolibrary.org/obo/IAO_0000125
http://purl.obolibrary.org/obo/RO_0001901
David Osumi-Sutherland